Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-01-29 18:01:20 -0800 (Tue, 29 Jan 2002)
Revision: 3486
Log message:

      1. Adopted a new representation for cyclic groups to avoid confusion.
      2. Added the definition of cyclic groups.
      3. Added the properties of cyclic groups.
      

Changes	Path
+19 -4	metaprl/theories/czf/czf_itt_cyclic_group.ml
+401 -107	metaprl/theories/czf/czf_itt_cyclic_group.prla