Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-03-11 02:35:54 -0800 (Mon, 11 Mar 2002)
Revision: 3539
Log message:

      This completes the committion of czf_itt_cyclic_subgroup.
      

Changes	Path
+6866 -1204	metaprl/theories/czf/czf_itt_cyclic_subgroup.prla