Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2002-12-08 19:41:12 -0800 (Sun, 08 Dec 2002)
Revision: 3946
Log message:

      arithT is ready at first glance.
      

Changes	Path
+329 -266	metaprl/theories/itt/itt_int_arith.ml
+4 -0	metaprl/theories/itt/itt_int_arith.mli
+10032 -10072	metaprl/theories/itt/itt_int_arith.prla
+2 -2	metaprl/theories/itt/itt_int_base.ml
+1 -1	metaprl/theories/itt/itt_int_base.mli