--- a/src/HOL/IsaMakefile Fri Oct 22 13:49:44 2010 +0200
+++ b/src/HOL/IsaMakefile Fri Oct 22 13:54:51 2010 +0200
@@ -327,8 +327,8 @@
Tools/Sledgehammer/sledgehammer_filter.ML \
Tools/Sledgehammer/sledgehammer_minimize.ML \
Tools/Sledgehammer/sledgehammer_isar.ML \
- Tools/Sledgehammer/sledgehammer_reconstruct.ML \
- Tools/Sledgehammer/sledgehammer_translate.ML \
+ Tools/Sledgehammer/sledgehammer_atp_reconstruct.ML \
+ Tools/Sledgehammer/sledgehammer_atp_translate.ML \
Tools/Sledgehammer/sledgehammer_util.ML \
Tools/SMT/cvc3_solver.ML \
Tools/SMT/smtlib_interface.ML \