--- a/src/HOL/IsaMakefile Tue Jul 27 17:32:55 2010 +0200
+++ b/src/HOL/IsaMakefile Tue Jul 27 17:43:11 2010 +0200
@@ -270,6 +270,7 @@
$(SRC)/Tools/Metis/metis.ML \
Tools/ATP_Manager/async_manager.ML \
Tools/ATP_Manager/atp_manager.ML \
+ Tools/ATP_Manager/atp_problem.ML \
Tools/ATP_Manager/atp_systems.ML \
Tools/choice_specification.ML \
Tools/int_arith.ML \
@@ -323,7 +324,6 @@
Tools/Sledgehammer/sledgehammer_fact_minimizer.ML \
Tools/Sledgehammer/sledgehammer_isar.ML \
Tools/Sledgehammer/sledgehammer_proof_reconstruct.ML \
- Tools/Sledgehammer/sledgehammer_tptp_format.ML \
Tools/Sledgehammer/sledgehammer_util.ML \
Tools/SMT/cvc3_solver.ML \
Tools/SMT/smtlib_interface.ML \