Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2003-04-01 16:42:44 -0800 (Tue, 01 Apr 2003)
Revision: 4366
Log message:

      Removed "subStructure_sqStable1".
      

Changes  Path
+1 -5 metaprl/theories/itt/itt_grouplikeobj.ml