Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-04-05 02:39:25 -0800 (Sat, 05 Apr 2003)
Revision: 4387
Log message:

      Changed the definition of cyclic subgroup.
      

Changes	Path
+5 -9	metaprl/theories/itt/itt_comment.ml
+1 -1	metaprl/theories/itt/itt_comment.mli
+25 -20	metaprl/theories/itt/itt_cyclic_group.ml
+1 -1	metaprl/theories/itt/itt_cyclic_group.mli
+4544 -1731	metaprl/theories/itt/itt_cyclic_group.prla