Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2002-12-09 19:13:44 -0800 (Mon, 09 Dec 2002)
Revision: 3947
Log message:

      Some code clean up.
      

Changes	Path
+21 -15	metaprl/theories/itt/itt_int_arith.ml
+2 -0	metaprl/theories/itt/itt_int_arith.mli
+4313 -4472	metaprl/theories/itt/itt_int_arith.prla