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