src/FOL/ROOT.ML
changeset 22822 c1a6a2159e69
parent 21539 c5cf9243ad62
child 23157 340586b2305c
     1.1 --- a/src/FOL/ROOT.ML	Fri Apr 27 14:21:23 2007 +0200
     1.2 +++ b/src/FOL/ROOT.ML	Fri Apr 27 16:31:20 2007 +0200
     1.3 @@ -9,7 +9,6 @@
     1.4  writeln banner;
     1.5  
     1.6  use "~~/src/Provers/splitter.ML";
     1.7 -use "~~/src/Provers/ind.ML";
     1.8  use "~~/src/Provers/hypsubst.ML";
     1.9  use "~~/src/Provers/IsaPlanner/zipper.ML";
    1.10  use "~~/src/Provers/IsaPlanner/isand.ML";