Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2002-11-30 22:13:32 -0800 (Sat, 30 Nov 2002)
Revision: 3940
Log message:

      Product-free expressions work fine now.
      Polynomials (with product) have some bugs yet.
      Too slow, I have to profile it later.
      There is some problems with negative numerals, alexei, could you
      look into itt_int_arith/test6 derivation?
      

Changes  Path
+1 -1 metaprl/refiner/reflib/arith.ml
+47 -25 metaprl/theories/itt/itt_int_arith.ml
+9 -0 metaprl/theories/itt/itt_int_arith.mli
+13363 -4852 metaprl/theories/itt/itt_int_arith.prla
+8 -1 metaprl/theories/itt/itt_int_base.ml
+5 -1 metaprl/theories/itt/itt_int_base.mli
+7 -0 metaprl/theories/itt/itt_int_ext.ml
+4 -0 metaprl/theories/itt/itt_int_ext.mli