src/HOL/IsaMakefile
changeset 33572 d78f347515e0
parent 33566 1c62ac4ef6d1
parent 33318 ddd97d9dfbfb
child 33576 82ba4d566192
     1.1 --- a/src/HOL/IsaMakefile	Thu Oct 29 15:24:52 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Thu Oct 29 15:26:00 2009 +0100
     1.3 @@ -225,7 +225,6 @@
     1.4    Tools/sat_funcs.ML \
     1.5    Tools/sat_solver.ML \
     1.6    Tools/split_rule.ML \
     1.7 -  Tools/transfer.ML \
     1.8    Tools/typecopy.ML \
     1.9    Tools/typedef_codegen.ML \
    1.10    Tools/typedef.ML \
    1.11 @@ -257,6 +256,7 @@
    1.12    Main.thy \
    1.13    Map.thy \
    1.14    Nat_Numeral.thy \
    1.15 +  Nat_Transfer.thy \
    1.16    Presburger.thy \
    1.17    Predicate_Compile.thy \
    1.18    Quickcheck.thy \
    1.19 @@ -278,6 +278,7 @@
    1.20    Tools/Groebner_Basis/misc.ML \
    1.21    Tools/Groebner_Basis/normalizer.ML \
    1.22    Tools/Groebner_Basis/normalizer_data.ML \
    1.23 +  Tools/choice_specification.ML \
    1.24    Tools/int_arith.ML \
    1.25    Tools/list_code.ML \
    1.26    Tools/meson.ML \
    1.27 @@ -301,7 +302,6 @@
    1.28    Tools/Qelim/presburger.ML \
    1.29    Tools/Qelim/qelim.ML \
    1.30    Tools/recdef.ML \
    1.31 -  Tools/choice_specification.ML \
    1.32    Tools/res_atp.ML \
    1.33    Tools/res_axioms.ML \
    1.34    Tools/res_clause.ML \
    1.35 @@ -309,6 +309,7 @@
    1.36    Tools/res_reconstruct.ML \
    1.37    Tools/string_code.ML \
    1.38    Tools/string_syntax.ML \
    1.39 +  Tools/transfer.ML \
    1.40    Tools/TFL/casesplit.ML \
    1.41    Tools/TFL/dcterm.ML \
    1.42    Tools/TFL/post.ML \
    1.43 @@ -336,7 +337,6 @@
    1.44    Log.thy \
    1.45    Lubs.thy \
    1.46    MacLaurin.thy \
    1.47 -  Nat_Transfer.thy \
    1.48    NthRoot.thy \
    1.49    PReal.thy \
    1.50    Parity.thy \