Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-04-28 03:59:23 -0700 (Mon, 28 Apr 2003)
Revision: 4507
Log message:

      More broken-proof fixes.
      

Changes  Path
+4840 -3884 metaprl/theories/czf/czf_itt_cyclic_group.prla