Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-04-02 00:27:06 -0800 (Tue, 02 Apr 2002)
Revision: 3558
Log message:

      1. Changed the rewrite rule for cyclic groups. Previously it was defined
         by cyclic subgroups; now it is defined directly by its underlying set;
      2. Updated rules due to the adding of "eqG" and reproved them.
      

Changes	Path
+3 -13	metaprl/theories/czf/czf_itt_cyclic_group.ml
+1 -4	metaprl/theories/czf/czf_itt_cyclic_group.mli
+1904 -2291	metaprl/theories/czf/czf_itt_cyclic_group.prla