1.1 --- a/src/HOL/IsaMakefile	Fri Sep 02 14:43:20 2011 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Sep 02 14:43:20 2011 +0200
     1.3 @@ -234,7 +234,7 @@
     1.4    Tools/Meson/meson_clausify.ML \
     1.5    Tools/Meson/meson_tactic.ML \
     1.6    Tools/Metis/metis_reconstruct.ML \
     1.7 -  Tools/Metis/metis_tactics.ML \
     1.8 +  Tools/Metis/metis_tactic.ML \
     1.9    Tools/Metis/metis_translate.ML \
    1.10    Tools/abel_cancel.ML \
    1.11    Tools/arith_data.ML \