diff -r 2bd242c56c90 -r 1065c307fafe src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Jul 11 21:43:19 2012 +0200
+++ b/src/HOL/IsaMakefile	Wed Jul 11 21:43:19 2012 +0200
@@ -371,7 +371,10 @@
   Tools/record.ML \
   Tools/semiring_normalizer.ML \
   Tools/Sledgehammer/async_manager.ML \
+  Tools/Sledgehammer/sledgehammer_fact.ML \
   Tools/Sledgehammer/sledgehammer_filter.ML \
+  Tools/Sledgehammer/sledgehammer_filter_iter.ML \
+  Tools/Sledgehammer/sledgehammer_filter_mash.ML \
   Tools/Sledgehammer/sledgehammer_minimize.ML \
   Tools/Sledgehammer/sledgehammer_isar.ML \
   Tools/Sledgehammer/sledgehammer_provers.ML \