
diff -r a92a7f45ca28 -r 9591362629e3 src/HOL/ex/Meson_Test.thy
--- a/src/HOL/ex/Meson_Test.thy	Fri Jun 25 07:19:21 2010 +0200
+++ b/src/HOL/ex/Meson_Test.thy	Mon Jun 28 15:32:06 2010 +0200
@@ -16,7 +16,7 @@
   below and constants declared in HOL!
 *}
 
-hide_const (open) subset member quotient union inter sum
+hide_const (open) subset quotient union inter sum
 
 text {*
   Test data for the MESON proof procedure




