Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2001-09-23 00:33:50 -0700 (Sun, 23 Sep 2001)
Revision: 3405
Log message:

      recommit .prla files
      

Changes  Path
+95 -95 metaprl/theories/czf/czf_itt_cyclic_group.prla
+580 -580 metaprl/theories/czf/czf_itt_cyclic_subgroup.prla
+3537 -3614 metaprl/theories/czf/czf_itt_group.prla
+129 -129 metaprl/theories/czf/czf_itt_subgroup.prla