equal
deleted
inserted
replaced
60 HOL: Pure $(OUT)/HOL |
60 HOL: Pure $(OUT)/HOL |
61 |
61 |
62 Pure: |
62 Pure: |
63 @cd $(SRC)/Pure; $(ISATOOL) make Pure |
63 @cd $(SRC)/Pure; $(ISATOOL) make Pure |
64 |
64 |
65 $(OUT)/HOL: $(OUT)/Pure $(SRC)/Provers/Arith/abel_cancel.ML \ |
65 $(OUT)/HOL: $(OUT)/Pure $(SRC)/Pure/General/int.ML $(SRC)/Pure/General/rat.ML \ |
|
66 $(SRC)/Provers/Arith/abel_cancel.ML \ |
66 $(SRC)/Provers/Arith/assoc_fold.ML \ |
67 $(SRC)/Provers/Arith/assoc_fold.ML \ |
67 $(SRC)/Provers/Arith/cancel_div_mod.ML \ |
68 $(SRC)/Provers/Arith/cancel_div_mod.ML \ |
68 $(SRC)/Provers/Arith/cancel_numeral_factor.ML \ |
69 $(SRC)/Provers/Arith/cancel_numeral_factor.ML \ |
69 $(SRC)/Provers/Arith/cancel_numerals.ML \ |
70 $(SRC)/Provers/Arith/cancel_numerals.ML \ |
70 $(SRC)/Provers/Arith/cancel_sums.ML \ |
71 $(SRC)/Provers/Arith/cancel_sums.ML \ |