changeset 24830 | a7b3ab44d993 |
parent 24097 | 86734ba03ca2 |
child 26286 | 3ff5d257f175 |
--- a/src/FOL/IFOL.thy Thu Oct 04 14:42:11 2007 +0200 +++ b/src/FOL/IFOL.thy Thu Oct 04 14:42:47 2007 +0200 @@ -15,7 +15,6 @@ "~~/src/Tools/IsaPlanner/rw_tools.ML" "~~/src/Tools/IsaPlanner/rw_inst.ML" "~~/src/Provers/eqsubst.ML" - "~~/src/Provers/induct_method.ML" "~~/src/Provers/quantifier1.ML" "~~/src/Provers/project_rule.ML" ("fologic.ML")