Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2001-10-23 21:34:08 -0700 (Tue, 23 Oct 2001)
Revision: 3425
Log message:

      czf_itt_cyclic_subgroup.ppo added.
      

Changes	Path
Added	metaprl/theories/czf/czf_itt_cyclic_subgroup.ppo
Properties	metaprl/theories/czf/czf_itt_cyclic_subgroup.ppo