# HG changeset patch
# User paulson
# Date 859973011 -7200
# Node ID 848bce5fe8ad61dfbfc089844d4343558ac6f066
# Parent  cdb908486a967d3781f4e97a322e6d3e3e6f6a63
Now loads blast_tac

diff -r cdb908486a96 -r 848bce5fe8ad src/HOL/ROOT.ML
--- 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";