1.1 --- a/src/HOL/ex/Meson_Test.thy	Thu May 13 14:47:15 2010 +0200
     1.2 +++ b/src/HOL/ex/Meson_Test.thy	Thu May 13 15:09:42 2010 +0200
     1.3 @@ -16,7 +16,7 @@
     1.4    below and constants declared in HOL!
     1.5  *}
     1.6  
     1.7 -hide_const (open) subset member quotient union inter
     1.8 +hide_const (open) subset member quotient union inter "apply"
     1.9  
    1.10  text {*
    1.11    Test data for the MESON proof procedure