Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2002-03-21 10:55:45 -0800 (Thu, 21 Mar 2002)
Revision: 3542
Log message:

      Arithmetic relations in conclusion is also processed now.
      TODO:
      - "bug"(a>=b & a<b) still here but I know why it is happening
      - resources! I finally realized what to do with it!
      - not_equal support
      - multiplication support
      - negation (not a<b) support but I'm not sure
      

Changes	Path
+29 -7	metaprl/theories/itt/itt_int_arith.ml
+2 -1	metaprl/theories/itt/itt_int_arith.mli
+4955 -3892	metaprl/theories/itt/itt_int_arith.prla