src/HOL/ex/Meson_Test.thy

--- a/src/HOL/ex/Meson_Test.thy	Wed Apr 02 15:58:31 2008 +0200
+++ b/src/HOL/ex/Meson_Test.thy	Wed Apr 02 15:58:32 2008 +0200
@@ -11,8 +11,8 @@
   below and constants declared in HOL!
 *}
 
-hide const subset member quotient 
-
+hide const subset member quotient eq
+hide const eq
 
 text {*
   Test data for the MESON proof procedure