Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-03-02 10:24:18 -0800 (Sat, 02 Mar 2002)
Revision: 3525
Log message:

      Minor ITT clean-up:
      - No need to use addHiddenLabelT when annotation on a rule will do
      - No need to create a separate tactic for sub resource when dT 0 will do
      - In substT no need to create a complete exception that would be caught right away.
      - Itt_tsub was never actually used, removing files.
      

Changes  Path
+3 -4 metaprl/theories/itt/itt_dfun.ml
+3 -4 metaprl/theories/itt/itt_disect.ml
+3 -7 metaprl/theories/itt/itt_dprod.ml
+10 -14 metaprl/theories/itt/itt_isect.ml
+3 -6 metaprl/theories/itt/itt_list.ml
+3 -6 metaprl/theories/itt/itt_prod.ml
+2 -2 metaprl/theories/itt/itt_struct.ml
Deleted metaprl/theories/itt/itt_tsub.ml
Deleted metaprl/theories/itt/itt_tsub.mli
+3 -6 metaprl/theories/itt/itt_union.ml