changeset 39890 | a1695e2169d0 |
parent 39889 | 21d556f10944 |
child 39894 | 35ae5cf8c96a |
--- a/src/HOL/Sledgehammer.thy Wed Sep 29 23:26:39 2010 +0200 +++ b/src/HOL/Sledgehammer.thy Wed Sep 29 23:30:10 2010 +0200 @@ -99,7 +99,7 @@ use "~~/src/Tools/Metis/metis.ML" use "Tools/Sledgehammer/meson_clausify.ML" -setup Meson_Clausifier.setup +setup Meson_Clausify.setup use "Tools/Sledgehammer/metis_translate.ML" use "Tools/Sledgehammer/metis_reconstruct.ML"