Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2002-03-04 15:15:02 -0800 (Mon, 04 Mar 2002)
Revision: 3528
Log message:

      In process to fix problem (a>=b & b<a) pointed by Alexei.
      

Changes	Path
+56 -29	metaprl/theories/itt/itt_int_arith.ml
+2 -0	metaprl/theories/itt/itt_int_arith.mli