src/HOL/IsaMakefile
changeset 32812 6a8663ff5e44
parent 32733 71618deaf777
child 33010 39f73a59e855
     1.1 --- a/src/HOL/IsaMakefile	Thu Oct 01 15:44:42 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Oct 01 16:03:43 2009 +0200
     1.3 @@ -192,6 +192,7 @@
     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 @@ -258,12 +259,12 @@
    1.12    Tools/Qelim/presburger.ML \
    1.13    Tools/Qelim/qelim.ML \
    1.14    Tools/recdef.ML \
    1.15 +  Tools/choice_specification.ML \
    1.16    Tools/res_atp.ML \
    1.17    Tools/res_axioms.ML \
    1.18    Tools/res_clause.ML \
    1.19    Tools/res_hol_clause.ML \
    1.20    Tools/res_reconstruct.ML \
    1.21 -  Tools/choice_specification.ML \
    1.22    Tools/string_code.ML \
    1.23    Tools/string_syntax.ML \
    1.24    Tools/TFL/casesplit.ML \
    1.25 @@ -308,7 +309,6 @@
    1.26    Taylor.thy \
    1.27    Transcendental.thy \
    1.28    Tools/float_syntax.ML \
    1.29 -  Tools/transfer.ML \
    1.30    Tools/Qelim/ferrante_rackoff_data.ML \
    1.31    Tools/Qelim/ferrante_rackoff.ML \
    1.32    Tools/Qelim/langford_data.ML \