src/HOL/IsaMakefile
changeset 9157 998dd2fb5795
parent 9117 48ccddd9fdfe
child 9241 f961c1fdff50
--- a/src/HOL/IsaMakefile	Tue Jun 27 23:43:46 2000 +0200
+++ b/src/HOL/IsaMakefile	Wed Jun 28 10:37:08 2000 +0200
@@ -36,7 +36,8 @@
   $(SRC)/Provers/Arith/assoc_fold.ML		\
   $(SRC)/Provers/Arith/combine_numerals.ML	\
   $(SRC)/Provers/Arith/cancel_numerals.ML	\
-  $(SRC)/Provers/Arith/fast_lin_arith.ML $(SRC)/Provers/blast.ML \
+  $(SRC)/Provers/Arith/fast_lin_arith.ML \
+  $(SRC)/Provers/blast.ML $(SRC)/Provers/make_elim.ML \
   $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \
   $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/simplifier.ML \
   $(SRC)/Provers/split_paired_all.ML $(SRC)/Provers/splitter.ML \