Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-04-05 00:58:44 -0800 (Sat, 05 Apr 2003)
Revision: 4386
Log message:

      Updated proofs related with subgroup.
      

Changes	Path
+4 -8	metaprl/theories/itt/itt_cyclic_group.ml
+2648 -2340	metaprl/theories/itt/itt_cyclic_group.prla