Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-18 21:44:39 -0800 (Tue, 18 Nov 2003)
Revision: 5112
Log message:

      Merged the Exn_boot and Filter_exn modules a bit.
      

Changes	Path
+1 -1	metaprl/filter/base/filter_exn.ml
+2 -2	metaprl/support/shell/shell.ml
+25 -51	metaprl/tactics/proof/exn_boot.ml
+4 -4	metaprl/tactics/proof/exn_boot.mli
+0 -9	metaprl/tactics/proof/tactic_boot_sig.ml
+0 -1	metaprl/tactics/proof/tactic_type.ml
+0 -2	metaprl/tactics/proof/tactic_type.mli