src/HOL/ex/Meson_Test.thy

--- a/src/HOL/ex/Meson_Test.thy	Wed Jul 22 14:20:32 2009 +0200
+++ b/src/HOL/ex/Meson_Test.thy	Wed Jul 22 14:20:32 2009 +0200
@@ -1,4 +1,3 @@
-(*ID:         $Id$*)
 
 header {* Meson test cases *}
 
@@ -11,7 +10,7 @@
   below and constants declared in HOL!
 *}
 
-hide const subset member quotient
+hide (open) const subset member quotient union inter
 
 text {*
   Test data for the MESON proof procedure