diff -r 94e9413bd7fc -r 861f63a35d31 src/FOL/IsaMakefile
--- a/src/FOL/IsaMakefile	Thu May 31 19:11:19 2007 +0200
+++ b/src/FOL/IsaMakefile	Thu May 31 20:55:29 2007 +0200
@@ -30,10 +30,10 @@
 
 $(OUT)/FOL$(ML_SUFFIX): $(OUT)/Pure$(ML_SUFFIX) $(SRC)/Provers/blast.ML	\
   $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML			\
-  $(SRC)/Provers/IsaPlanner/zipper.ML \
-  $(SRC)/Provers/IsaPlanner/isand.ML \
-  $(SRC)/Provers/IsaPlanner/rw_tools.ML	\
-  $(SRC)/Provers/IsaPlanner/rw_inst.ML \
+  $(SRC)/Tools/IsaPlanner/zipper.ML \
+  $(SRC)/Tools/IsaPlanner/isand.ML \
+  $(SRC)/Tools/IsaPlanner/rw_tools.ML	\
+  $(SRC)/Tools/IsaPlanner/rw_inst.ML \
   $(SRC)/Provers/eqsubst.ML $(SRC)/Provers/hypsubst.ML			\
   $(SRC)/Provers/induct_method.ML			\
   $(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML		\