changeset 11220 | db536a42dfc5 |
parent 11193 | 851c90b23a9e |
child 11228 | 5516e806dc09 |
--- a/src/HOL/IsaMakefile Thu Mar 22 10:29:26 2001 +0100 +++ b/src/HOL/IsaMakefile Fri Mar 23 10:10:53 2001 +0100 @@ -59,7 +59,8 @@ Pure: @cd $(SRC)/Pure; $(ISATOOL) make Pure -$(OUT)/HOL: $(OUT)/Pure $(SRC)/Provers/Arith/abel_cancel.ML \ +$(OUT)/HOL: $(OUT)/Pure $(SRC)/Provers/quantifier1.ML \ + $(SRC)/Provers/Arith/abel_cancel.ML \ $(SRC)/Provers/Arith/assoc_fold.ML \ $(SRC)/Provers/Arith/cancel_numerals.ML \ $(SRC)/Provers/Arith/cancel_sums.ML \