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