changeset 5983 | 79e301a6a51b |
parent 5980 | 2e9314c07146 |
child 6055 | fdf4638bf726 |
--- a/src/HOL/IsaMakefile Fri Nov 27 16:54:59 1998 +0100 +++ b/src/HOL/IsaMakefile Fri Nov 27 17:00:30 1998 +0100 @@ -30,7 +30,7 @@ @cd $(SRC)/Pure; $(ISATOOL) make Pure $(OUT)/HOL: $(OUT)/Pure $(SRC)/Provers/Arith/cancel_sums.ML \ - $(SRC)/Provers/Arith/nat_transitive.ML \ + $(SRC)/Provers/Arith/fast_lin_arith.ML \ $(SRC)/Provers/Arith/abel_cancel.ML $(SRC)/Provers/blast.ML \ $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \ $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/simplifier.ML \