Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-01-08 22:07:06 -0800 (Wed, 08 Jan 2003)
Revision: 3985
Log message:

      Added the definition for cyclic groups where the generator is not specified.
      Changed cycgroupAbelT to cycgAbelT.
      

Changes  Path
+28 -11 metaprl/theories/czf/czf_itt_cyclic_group.ml
+4 -1 metaprl/theories/czf/czf_itt_cyclic_group.mli
+1946 -1346 metaprl/theories/czf/czf_itt_cyclic_group.prla