Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-05-04 16:16:48 -0700 (Sun, 04 May 2003)
Revision: 4560
Log message:
1.Display form of nequal{;} was missing.
2.All intermediate tactics/conversionals removed from itt_int_arith.mli
(they were there for debugging).
Only normalizeC and arithT are there (well, thenLocalT will be removed soon).
3.add_normalizeC replaced with normalizeC in itt_cyclic_group
(add_normalizeC is no longer in the interface of itt_int_arith).
4.Some documentation added to itt_int_arith.