src/FOL/ROOT.ML

--- a/src/FOL/ROOT.ML	Fri Apr 27 14:21:23 2007 +0200
+++ b/src/FOL/ROOT.ML	Fri Apr 27 16:31:20 2007 +0200
@@ -9,7 +9,6 @@
 writeln banner;
 
 use "~~/src/Provers/splitter.ML";
-use "~~/src/Provers/ind.ML";
 use "~~/src/Provers/hypsubst.ML";
 use "~~/src/Provers/IsaPlanner/zipper.ML";
 use "~~/src/Provers/IsaPlanner/isand.ML";