Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-02-10 17:19:09 -0800 (Tue, 10 Feb 2004)
Revision: 5357
Log message:

      Cleaning up all unused code left after yesterday commits,
      proved all new lemmas.
      

Changes	Path
+5 -243	metaprl/theories/itt/itt_int_arith.ml
+7827 -10579	metaprl/theories/itt/itt_int_arith.prla