Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-01 18:31:14 -0800 (Tue, 01 Apr 2003)
Revision: 4367
Log message:

      Updated the squash resource to support annotations on
      H |- [A] --> H |- A
      

Changes	Path
+2 -2	metaprl/theories/itt/itt_group.ml
+1 -2	metaprl/theories/itt/itt_grouplikeobj.ml
+1174 -1373	metaprl/theories/itt/itt_grouplikeobj.prla
+40 -11	metaprl/theories/itt/itt_squash.ml
+7839 -7169	metaprl/theories/itt/itt_squash.prla
+1 -1	metaprl/theories/itt/itt_subset.ml