Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-01-30 00:41:01 -0800 (Wed, 30 Jan 2002)
Revision: 3487
Log message:

      Removed some comments.
      

Changes  Path
+0 -4 metaprl/theories/czf/czf_itt_cyclic_subgroup.mli