Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-04-02 15:53:40 -0800 (Wed, 02 Apr 2003)
Revision: 4373
Log message:

      1.itt_logic/not_elim had incorrect label of the only subgoal (assert->main).
      2.negation and nequal in hypotheses are supported now.
      

Changes	Path
+42 -1	metaprl/theories/itt/itt_int_arith.ml
+2 -0	metaprl/theories/itt/itt_int_arith.mli
+2 -2	metaprl/theories/itt/itt_logic.ml