Now loads blast_tac

--- a/src/HOL/ROOT.ML	Wed Apr 02 11:19:46 1997 +0200
+++ b/src/HOL/ROOT.ML	Wed Apr 02 11:23:31 1997 +0200
@@ -19,6 +19,7 @@
 use "../Provers/splitter.ML";
 use "../Provers/hypsubst.ML";
 use "../Provers/classical.ML";
+use "../Provers/blast.ML";
 use "../Provers/nat_transitive.ML";