Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-05-07 01:50:46 -0700 (Wed, 07 May 2003)
Revision: 4572
Log message:

      minor.
      

Changes	Path
+1 -3	metaprl/theories/itt/itt_group.ml
+17024 -17338	metaprl/theories/itt/itt_group.prla