Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-20 20:41:12 -0800 (Sat, 20 Dec 2003)
Revision: 5196
Log message:

      1.Removed distributivity from reduceC.
      2.More proofs.
      

Changes	Path
+1 -0	metaprl/theories/itt/itt_int_arith.ml
+8 -1	metaprl/theories/itt/itt_int_ext.ml
+1895 -2194	metaprl/theories/itt/itt_int_ext.prla