Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-21 14:41:47 -0800 (Sun, 21 Dec 2003)
Revision: 5199
Log message:

      Proof of int_ring_is_ring depended on presence of distributivity in reduce-resource.
      Fixed.
      

Changes	Path
+1948 -1252	metaprl/theories/itt/itt_ring.prla