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

      1. Changed the definition of cyclic groups to increase generality.
      2. Added basic properties for the changed cyclic groups.
      
      TODO:
        The property "A subgroup of a cyclic group is cyclic" is not proven and
        might need to be re-defined.
      

Changes	Path
+54 -8	metaprl/theories/czf/czf_itt_cyclic_group.ml
+7 -1	metaprl/theories/czf/czf_itt_cyclic_group.mli
+1677 -771	metaprl/theories/czf/czf_itt_cyclic_group.prla