--- 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";