Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-05-22 09:30:25 -0700 (Sat, 22 May 2004)
Revision: 5806
Log message:

      A fix to one of two proofs broken yesterday.
      

Changes	Path
+1618 -1419	metaprl/theories/itt/itt_ring2.prla