changeset 13517 | 42efec18f5b2 |
parent 13508 | 890d736b93a5 |
child 13551 | b7f64ee8da84 |
--- a/src/HOL/IsaMakefile Fri Aug 23 07:34:20 2002 +0200 +++ b/src/HOL/IsaMakefile Fri Aug 23 07:41:05 2002 +0200 @@ -73,6 +73,7 @@ $(SRC)/Provers/Arith/combine_numerals.ML \ $(SRC)/Provers/Arith/cancel_numeral_factor.ML \ $(SRC)/Provers/Arith/extract_common_term.ML \ + $(SRC)/Provers/Arith/cancel_div_mod.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/induct_method.ML \