src/FOL/IFOL.thy
changeset 23171 861f63a35d31
parent 23155 4b04f9d859af
child 23393 31781b2de73d
     1.1 --- a/src/FOL/IFOL.thy	Thu May 31 19:11:19 2007 +0200
     1.2 +++ b/src/FOL/IFOL.thy	Thu May 31 20:55:29 2007 +0200
     1.3 @@ -10,10 +10,10 @@
     1.4  uses
     1.5    "~~/src/Provers/splitter.ML"
     1.6    "~~/src/Provers/hypsubst.ML"
     1.7 -  "~~/src/Provers/IsaPlanner/zipper.ML"
     1.8 -  "~~/src/Provers/IsaPlanner/isand.ML"
     1.9 -  "~~/src/Provers/IsaPlanner/rw_tools.ML"
    1.10 -  "~~/src/Provers/IsaPlanner/rw_inst.ML"
    1.11 +  "~~/src/Tools/IsaPlanner/zipper.ML"
    1.12 +  "~~/src/Tools/IsaPlanner/isand.ML"
    1.13 +  "~~/src/Tools/IsaPlanner/rw_tools.ML"
    1.14 +  "~~/src/Tools/IsaPlanner/rw_inst.ML"
    1.15    "~~/src/Provers/eqsubst.ML"
    1.16    "~~/src/Provers/induct_method.ML"
    1.17    "~~/src/Provers/classical.ML"