Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-02-07 19:10:12 -0800 (Sat, 07 Feb 2004)
Revision: 5348
Log message:

      Proved lemmas that were introduced yesterday.
      

Changes	Path
+2 -2	metaprl/theories/itt/itt_int_arith.ml
+11548 -12588	metaprl/theories/itt/itt_int_arith.prla