Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-03-31 20:01:01 -0800 (Mon, 31 Mar 2003)
Revision: 4358
Log message:

      Support for nequal in conclusion added.
      

Changes	Path
+4 -2	metaprl/theories/itt/itt_int_arith.ml
+11 -6	metaprl/theories/itt/itt_int_ext.ml
+8 -4	metaprl/theories/itt/itt_int_ext.mli