Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-03-31 13:25:12 -0800 (Mon, 31 Mar 2003)
Revision: 4356
Log message:
1.GPL header was missing in arith.ml, arith.mli
2.Trying to prove itt_bool/not_assert_elim but don't know how (tried several formulations already)
3.negation in coclusion is now supported by arithT.