Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-17 22:23:20 -0800 (Wed, 17 Dec 2003)
Revision: 5192
Log message:

      On my way to make arithT depend only on proved rules.
      

Changes  Path
+2 -8 metaprl/theories/itt/itt_int_arith.ml
+15690 -17309 metaprl/theories/itt/itt_int_arith.prla
+9 -0 metaprl/theories/itt/itt_int_base.ml
+9 -0 metaprl/theories/itt/itt_int_base.mli
+5940 -6098 metaprl/theories/itt/itt_int_base.prla
+21 -0 metaprl/theories/itt/itt_int_ext.ml
+21 -0 metaprl/theories/itt/itt_int_ext.mli
+4960 -5269 metaprl/theories/itt/itt_int_ext.prla