Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-11-16 20:03:00 -0800 (Tue, 16 Nov 2004)
Revision: 6270
Log message:

      Updating some of the autoT stuff to fix some of the proofs broken by
      Alexei's big Nov 10th commit.
      

Changes  Path
+1 -0 metaprl/refiner/refsig/term_man_sig.ml
+18 -0 metaprl/refiner/term_ds/term_man_ds.ml
+20 -0 metaprl/refiner/term_gen/term_man_gen.ml
+4 -0 metaprl/support/tactics/dtactic.ml
+1 -0 metaprl/support/tactics/dtactic.mli
+2 -0 metaprl/tactics/proof/sequent_boot.ml
+1 -0 metaprl/tactics/proof/tactic_boot_sig.ml
+1369 -1351 metaprl/theories/itt/itt_closure.prla
+3 -5 metaprl/theories/itt/itt_fun.ml
+12 -5 metaprl/theories/itt/itt_subtype.ml
+1 -1 metaprl/theories/itt/itt_subtype.prla