--- a/src/HOL/IsaMakefile Sat Dec 31 21:49:35 2005 +0100
+++ b/src/HOL/IsaMakefile Sat Dec 31 21:49:36 2005 +0100
@@ -71,8 +71,8 @@
$(SRC)/Provers/Arith/fast_lin_arith.ML $(SRC)/Provers/blast.ML \
$(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \
$(SRC)/Provers/eqsubst.ML $(SRC)/Provers/hypsubst.ML \
- $(SRC)/Provers/induct_method.ML $(SRC)/Provers/make_elim.ML \
- $(SRC)/Provers/order.ML $(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML \
+ $(SRC)/Provers/induct_method.ML $(SRC)/Provers/order.ML \
+ $(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML \
$(SRC)/Provers/quasi.ML $(SRC)/Provers/splitter.ML $(SRC)/Provers/trancl.ML \
$(SRC)/TFL/casesplit.ML $(SRC)/TFL/dcterm.ML $(SRC)/TFL/post.ML \
$(SRC)/TFL/rules.ML $(SRC)/TFL/tfl.ML $(SRC)/TFL/thms.ML \