1.1 --- a/src/HOL/IsaMakefile	Fri May 08 08:01:09 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri May 08 09:48:07 2009 +0200
     1.3 @@ -226,19 +226,19 @@
     1.4    $(SRC)/Provers/Arith/combine_numerals.ML \
     1.5    $(SRC)/Provers/Arith/extract_common_term.ML \
     1.6    $(SRC)/Tools/Metis/metis.ML \
     1.7 -  Tools/int_arith.ML \
     1.8 -  Tools/int_factor_simprocs.ML \
     1.9 -  Tools/nat_simprocs.ML \
    1.10    Tools/Groebner_Basis/groebner.ML \
    1.11    Tools/Groebner_Basis/misc.ML \
    1.12    Tools/Groebner_Basis/normalizer_data.ML \
    1.13    Tools/Groebner_Basis/normalizer.ML \
    1.14    Tools/atp_manager.ML \
    1.15    Tools/atp_wrapper.ML \
    1.16 +  Tools/int_arith.ML \
    1.17    Tools/list_code.ML \
    1.18    Tools/meson.ML \
    1.19    Tools/metis_tools.ML \
    1.20 +  Tools/nat_numeral_simprocs.ML \
    1.21    Tools/numeral.ML \
    1.22 +  Tools/numeral_simprocs.ML \
    1.23    Tools/numeral_syntax.ML \
    1.24    Tools/polyhash.ML \
    1.25    Tools/Qelim/cooper_data.ML \