Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2002-02-19 12:15:59 -0800 (Tue, 19 Feb 2002)
Revision: 3503
Log message:

      No arithT has no auto-tactics inside. It understands <,>,<=,>=,= in hyps but
      does not understand negated relations and knows nothing about conclusion.
      

Changes	Path
+118 -7	metaprl/theories/itt/itt_int_arith.ml
+1 -0	metaprl/theories/itt/itt_int_arith.mli