Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2002-11-29 07:31:32 -0800 (Fri, 29 Nov 2002)
Revision: 3935
Log message:

      Added term comparison and (partly) multiplication support for arithT.
      

Changes	Path
+336 -2	metaprl/theories/itt/itt_int_arith.ml
+6 -0	metaprl/theories/itt/itt_int_ext.ml
+6 -0	metaprl/theories/itt/itt_int_ext.mli