src/HOL/Meson.thy
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