Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-10-24 06:39:19 -0700 (Wed, 24 Oct 2001)
Revision: 3426
Log message:

      Generated files (such as .ppo) should not be in CVS.
      

Changes	Path
Deleted	metaprl/theories/czf/czf_itt_cyclic_subgroup.ppo