1.1 --- a/src/HOL/IsaMakefile	Fri Jul 20 22:19:45 2012 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Jul 20 22:19:45 2012 +0200
     1.3 @@ -371,8 +371,8 @@
     1.4    Tools/semiring_normalizer.ML \
     1.5    Tools/Sledgehammer/async_manager.ML \
     1.6    Tools/Sledgehammer/sledgehammer_fact.ML \
     1.7 -  Tools/Sledgehammer/sledgehammer_filter_iter.ML \
     1.8 -  Tools/Sledgehammer/sledgehammer_filter_mash.ML \
     1.9 +  Tools/Sledgehammer/sledgehammer_mash.ML \
    1.10 +  Tools/Sledgehammer/sledgehammer_mepo.ML \
    1.11    Tools/Sledgehammer/sledgehammer_minimize.ML \
    1.12    Tools/Sledgehammer/sledgehammer_isar.ML \
    1.13    Tools/Sledgehammer/sledgehammer_provers.ML \