src/FOL/IFOL.thy

--- a/src/FOL/IFOL.thy	Tue Jul 31 19:40:28 2007 +0200
+++ b/src/FOL/IFOL.thy	Tue Jul 31 21:19:18 2007 +0200
@@ -16,9 +16,6 @@
   "~~/src/Tools/IsaPlanner/rw_inst.ML"
   "~~/src/Provers/eqsubst.ML"
   "~~/src/Provers/induct_method.ML"
-  "~~/src/Provers/classical.ML"
-  "~~/src/Provers/blast.ML"
-  "~~/src/Provers/clasimp.ML"
   "~~/src/Provers/quantifier1.ML"
   "~~/src/Provers/project_rule.ML"
   ("fologic.ML")