Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-02-07 17:58:08 -0800 (Thu, 07 Feb 2002)
Revision: 3496
Log message:

      Removed the property "A subgroup of a cyclic group is cyclic" since it is
      not very important and is too hard to be proven now.
      

Changes	Path
+0 -9	metaprl/theories/czf/czf_itt_cyclic_group.ml