Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-05-07 16:45:06 -0700 (Tue, 07 May 2002)
Revision: 3608
Log message:

      Minor change in comments.
      

Changes  Path
+0 -7 metaprl/theories/czf/czf_itt_normal_subgroup.mli