author | paulson |
Tue, 19 Dec 2000 15:19:12 +0100 | |
changeset 10705 | 58c3c00d9fdf |
parent 10704 | c1643c077df4 |
child 10706 | f02834001fca |
--- a/src/HOL/IsaMakefile Tue Dec 19 15:17:53 2000 +0100 +++ b/src/HOL/IsaMakefile Tue Dec 19 15:19:12 2000 +0100 @@ -64,6 +64,7 @@ $(SRC)/Provers/Arith/cancel_sums.ML \ $(SRC)/Provers/Arith/combine_numerals.ML \ $(SRC)/Provers/Arith/cancel_numeral_factor.ML \ + $(SRC)/Provers/Arith/extract_common_term.ML \ $(SRC)/Provers/Arith/fast_lin_arith.ML $(SRC)/Provers/blast.ML \ $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML \ $(SRC)/Provers/hypsubst.ML $(SRC)/Provers/make_elim.ML \