src/FOL/ROOT.ML
changeset 22822 c1a6a2159e69
parent 21539 c5cf9243ad62
child 23157 340586b2305c
--- 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";