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