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