diff -r 74926cdbf071 -r 86734ba03ca2 src/FOL/FOL.thy
--- a/src/FOL/FOL.thy	Tue Jul 31 19:40:28 2007 +0200
+++ b/src/FOL/FOL.thy	Tue Jul 31 21:19:18 2007 +0200
@@ -8,6 +8,9 @@
 theory FOL
 imports IFOL
 uses
+  "~~/src/Provers/classical.ML"
+  "~~/src/Provers/blast.ML"
+  "~~/src/Provers/clasimp.ML"
   ("cladata.ML")
   ("blastdata.ML")
   ("simpdata.ML")