Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-07-21 16:23:43 -0700 (Sat, 21 Jul 2001)
Revision: 3344
Log message:

      - created a tcaT tactic that is equivalent to tryT (completeT autoT)
      - created a filter macro "ttca" that is equivalent to
      "thenT tcaT"
      - moved memberTypeT from itt_collection to itt_struct
      - updated itt_quickref a little.
      - some cleanup in itt_fset and itt_collection
      

Changes	Path
+113 -74	metaprl/doc/itt_quickref.txt
+1 -1	metaprl/filter/base/filter_grammar.ml
+5 -5	metaprl/filter/boot/tacticals_boot.ml
+22 -20	metaprl/theories/base/base_auto_tactic.ml
+5 -6	metaprl/theories/base/base_auto_tactic.mli
+2 -77	metaprl/theories/itt/itt_collection.ml
+0 -5	metaprl/theories/itt/itt_collection.mli
+3 -3	metaprl/theories/itt/itt_collection.prla
+1 -1	metaprl/theories/itt/itt_decidable.ml
+1 -1	metaprl/theories/itt/itt_dprod_imp.prla
+0 -285	metaprl/theories/itt/itt_fset.ml
+9 -9	metaprl/theories/itt/itt_fset.prla
+1 -1	metaprl/theories/itt/itt_isect.prla
+4 -4	metaprl/theories/itt/itt_list2.prla
+1 -1	metaprl/theories/itt/itt_record_exm.prla
+1 -1	metaprl/theories/itt/itt_sort.prla
+1 -0	metaprl/theories/itt/itt_struct.ml
+1 -0	metaprl/theories/itt/itt_struct.mli