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 |