Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-04-25 03:22:09 -0700 (Fri, 25 Apr 2003)
Revision: 4492
Log message:

      minor.
      

Changes	Path
+4 -0	metaprl/theories/itt/itt_cyclic_group.ml
+2660 -2233	metaprl/theories/itt/itt_cyclic_group.prla
+5 -5	metaprl/theories/itt/itt_group.ml
+8524 -8314	metaprl/theories/itt/itt_group.prla
+0 -2	metaprl/theories/itt/itt_grouplikeobj.ml