Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-01-30 14:36:50 -0800 (Wed, 30 Jan 2002)
Revision: 3488
Log message:

      1. Small modifications in the proofs for "power_property2".
      2. Changed the definition of cyclic subgroups to increase generality.
      3. Added (more) properties for the changed cyclic subgroups.
      

Changes	Path
+32 -6	metaprl/theories/czf/czf_itt_cyclic_subgroup.ml
+4 -3	metaprl/theories/czf/czf_itt_cyclic_subgroup.mli
+1663 -501	metaprl/theories/czf/czf_itt_cyclic_subgroup.prla