--- a/src/HOL/IsaMakefile Sun Jun 11 00:39:31 2006 +0200
+++ b/src/HOL/IsaMakefile Sun Jun 11 00:42:22 2006 +0200
@@ -72,6 +72,10 @@
$(SRC)/Provers/Arith/extract_common_term.ML \
$(SRC)/Provers/Arith/fast_lin_arith.ML $(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)/Provers/eqsubst.ML $(SRC)/Provers/hypsubst.ML \
$(SRC)/Provers/induct_method.ML $(SRC)/Provers/order.ML \
$(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML \