Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-04-04 19:23:14 -0800 (Fri, 04 Apr 2003)
Revision: 4385
Log message:

      More updates on stuff related to subgroup.
      

Changes	Path
+288 -309	metaprl/theories/itt/itt_group.ml
+4 -4	metaprl/theories/itt/itt_group.mli
+17894 -11714	metaprl/theories/itt/itt_group.prla
+2 -2	metaprl/theories/itt/itt_grouplikeobj.ml
+1257 -1257	metaprl/theories/itt/itt_grouplikeobj.prla