changeset 42616 | 92715b528e78 |
parent 40620 | 7a9278de19ad |
child 47953 | a2c3706c4cb1 |
--- a/src/HOL/Meson.thy Mon May 02 13:29:47 2011 +0200 +++ b/src/HOL/Meson.thy Mon May 02 16:33:21 2011 +0200 @@ -192,10 +192,7 @@ use "Tools/Meson/meson_clausify.ML" use "Tools/Meson/meson_tactic.ML" -setup {* - Meson.setup - #> Meson_Tactic.setup -*} +setup {* Meson_Tactic.setup *} hide_const (open) COMBI COMBK COMBB COMBC COMBS skolem hide_fact (open) not_conjD not_disjD not_notD not_allD not_exD imp_to_disjD