Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-05-14 04:05:07 -0700 (Wed, 14 May 2003)
Revision: 4596
Log message:

      minor.
      

Changes	Path
+35 -6	metaprl/theories/itt/itt_group.ml
+7051 -6481	metaprl/theories/itt/itt_group.prla
+8 -12	metaprl/theories/itt/itt_grouplikeobj.ml
+4976 -4792	metaprl/theories/itt/itt_grouplikeobj.prla
+1055 -1113	metaprl/theories/itt/itt_quotient_group.prla