src/HOL/IsaMakefile
changeset 38019 e207a64e1e0b
parent 37968 52fdcb76c0af
child 38021 e024504943d1
     1.1 --- a/src/HOL/IsaMakefile	Tue Jul 27 17:32:55 2010 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Jul 27 17:43:11 2010 +0200
     1.3 @@ -270,6 +270,7 @@
     1.4    $(SRC)/Tools/Metis/metis.ML \
     1.5    Tools/ATP_Manager/async_manager.ML \
     1.6    Tools/ATP_Manager/atp_manager.ML \
     1.7 +  Tools/ATP_Manager/atp_problem.ML \
     1.8    Tools/ATP_Manager/atp_systems.ML \
     1.9    Tools/choice_specification.ML \
    1.10    Tools/int_arith.ML \
    1.11 @@ -323,7 +324,6 @@
    1.12    Tools/Sledgehammer/sledgehammer_fact_minimizer.ML \
    1.13    Tools/Sledgehammer/sledgehammer_isar.ML \
    1.14    Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML \
    1.15 -  Tools/Sledgehammer/sledgehammer_tptp_format.ML \
    1.16    Tools/Sledgehammer/sledgehammer_util.ML \
    1.17    Tools/SMT/cvc3_solver.ML \
    1.18    Tools/SMT/smtlib_interface.ML \