changeset 52241 | 5f6e885382e9 |
parent 52230 | 1105b3b5aa77 |
child 55380 | 4de48353034e |
--- a/src/FOL/IFOL.thy Thu May 30 16:31:53 2013 +0200 +++ b/src/FOL/IFOL.thy Thu May 30 16:48:50 2013 +0200 @@ -14,7 +14,6 @@ ML_file "~~/src/Tools/IsaPlanner/zipper.ML" ML_file "~~/src/Tools/IsaPlanner/isand.ML" ML_file "~~/src/Tools/IsaPlanner/rw_inst.ML" -ML_file "~~/src/Tools/eqsubst.ML" ML_file "~~/src/Provers/quantifier1.ML" ML_file "~~/src/Tools/intuitionistic.ML" ML_file "~~/src/Tools/project_rule.ML"