src/HOL/IsaMakefile
changeset 19839 1704c66e5e7e
parent 19803 aa2581752afb
child 19944 60e0cbeae3d8
     1.1 --- a/src/HOL/IsaMakefile	Sun Jun 11 00:39:31 2006 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Sun Jun 11 00:42:22 2006 +0200
     1.3 @@ -72,6 +72,10 @@
     1.4    $(SRC)/Provers/Arith/extract_common_term.ML					\
     1.5    $(SRC)/Provers/Arith/fast_lin_arith.ML $(SRC)/Provers/blast.ML		\
     1.6    $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.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)/Provers/eqsubst.ML $(SRC)/Provers/hypsubst.ML				\
    1.12    $(SRC)/Provers/induct_method.ML $(SRC)/Provers/order.ML			\
    1.13    $(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML			\