Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-01-11 08:21:35 -0800 (Sat, 11 Jan 2003)
Revision: 3990
Log message:

      Proved that cycg and cycgroup are equivalent.
      

Changes	Path
+29 -0	metaprl/theories/czf/czf_itt_cyclic_group.ml
+3287 -3038	metaprl/theories/czf/czf_itt_cyclic_group.prla