Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-03-25 14:44:58 -0800 (Tue, 25 Mar 2003)
Revision: 4233
Log message:

      Aleksey & Yegor:
      - Fixed a term comparison bug in arith
      - Cleaned up the arith signature
      

Changes	Path
+37 -41	metaprl/refiner/reflib/arith.ml
+8 -112	metaprl/refiner/reflib/arith.mli
+11 -6	metaprl/theories/itt/itt_int_arith.ml
+263 -557	metaprl/theories/itt/itt_nat.prla