Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-04-19 02:52:01 -0700 (Sat, 19 Apr 2003)
Revision: 4461
Log message:

      got rid of all math_ terms defined for group theory in itt_comment.
      

Changes	Path
+1 -0	metaprl/theories/itt/itt_bintree.ml
+2 -274	metaprl/theories/itt/itt_comment.ml
+0 -32	metaprl/theories/itt/itt_comment.mli
+36 -33	metaprl/theories/itt/itt_cyclic_group.ml
+2 -2	metaprl/theories/itt/itt_cyclic_group.mli
+19 -19	metaprl/theories/itt/itt_cyclic_group.prla
+1 -0	metaprl/theories/itt/itt_datatree.ml
+1 -1	metaprl/theories/itt/itt_ext_equal.ml
+62 -51	metaprl/theories/itt/itt_group.ml
+49 -29	metaprl/theories/itt/itt_grouplikeobj.ml
+4 -0	metaprl/theories/itt/itt_grouplikeobj.mli
+0 -0	metaprl/theories/itt/itt_sortedtree.ml