src/HOL/IsaMakefile
changeset 5605 e86700ddc7d4
parent 5564 f16de69b7c0c
child 5616 497eeeace3fc
     1.1 --- a/src/HOL/IsaMakefile	Fri Oct 02 10:41:35 1998 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Oct 02 10:42:37 1998 +0200
     1.3 @@ -30,7 +30,8 @@
     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 $(SRC)/Provers/blast.ML \
     1.8 +  $(SRC)/Provers/Arith/nat_transitive.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 \
    1.12    $(SRC)/Provers/splitter.ML $(SRC)/Pure/section_utils.ML \
    1.13 @@ -133,6 +134,7 @@
    1.14    Real/Lubs.ML Real/Lubs.thy Real/PNat.ML Real/PNat.thy \
    1.15    Real/PRat.ML Real/PRat.thy Real/PReal.ML Real/PReal.thy \
    1.16    Real/RComplete.ML Real/RComplete.thy Real/Real.ML Real/Real.thy \
    1.17 +  Real/RealDef.ML Real/RealDef.thy Real/simproc.ML \
    1.18    Real/RealAbs.ML Real/RealAbs.thy Real/ROOT.ML
    1.19  	@$(ISATOOL) usedir $(OUT)/HOL Real
    1.20