Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-02-05 00:21:10 -0800 (Tue, 05 Feb 2002)
Revision: 3492
Log message:

      A little change in the comments.
      

Changes  Path
+1 -0 metaprl/theories/czf/czf_itt_abel_group.ml