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

      Changed well-formedness rules.
      Added a squash-stable rule for subStructure with squash resource.
      
      Can anyone, maybe Aleksey, please take a look at "itt_grouplikeobj/subStructure_sqStable1"? I can't figure out how to prove it. Thanks.
      

Changes	Path
+29 -10	metaprl/theories/itt/itt_grouplikeobj.ml
+3536 -3391	metaprl/theories/itt/itt_grouplikeobj.prla