Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-06-18 15:37:06 -0700 (Wed, 18 Jun 2003)
Revision: 4672
Log message:

      Typeinf types no longer need to be in tactic_boot_sig
      

Changes	Path
+3 -31	metaprl/filter/boot/tactic_boot_sig.mlz
+11 -0	metaprl/support/tactics/typeinf.ml
+25 -4	metaprl/support/tactics/typeinf.mli