src/HOL/IsaMakefile
changeset 46320 0b8b73b49848
parent 46319 c248e4f1be74
child 46321 484dc68c8c89
     1.1 --- a/src/HOL/IsaMakefile	Mon Jan 23 17:40:31 2012 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Jan 23 17:40:32 2012 +0100
     1.3 @@ -204,11 +204,11 @@
     1.4    Set.thy \
     1.5    Sum_Type.thy \
     1.6    Tools/ATP/atp_problem.ML \
     1.7 +  Tools/ATP/atp_problem_generate.ML \
     1.8    Tools/ATP/atp_proof.ML \
     1.9 -  Tools/ATP/atp_reconstruct.ML \
    1.10 -  Tools/ATP/atp_redirect.ML \
    1.11 +  Tools/ATP/atp_proof_reconstruct.ML \
    1.12 +  Tools/ATP/atp_proof_redirect.ML \
    1.13    Tools/ATP/atp_systems.ML \
    1.14 -  Tools/ATP/atp_translate.ML \
    1.15    Tools/ATP/atp_util.ML \
    1.16    Tools/Datatype/datatype.ML \
    1.17    Tools/Datatype/datatype_aux.ML \
    1.18 @@ -241,9 +241,9 @@
    1.19    Tools/Meson/meson.ML \
    1.20    Tools/Meson/meson_clausify.ML \
    1.21    Tools/Meson/meson_tactic.ML \
    1.22 +  Tools/Metis/metis_generate.ML \
    1.23    Tools/Metis/metis_reconstruct.ML \
    1.24    Tools/Metis/metis_tactic.ML \
    1.25 -  Tools/Metis/metis_translate.ML \
    1.26    Tools/abel_cancel.ML \
    1.27    Tools/arith_data.ML \
    1.28    Tools/cnf_funcs.ML \