--- a/src/HOL/ex/Meson_Test.thy Wed Feb 06 08:34:51 2008 +0100
+++ b/src/HOL/ex/Meson_Test.thy Wed Feb 06 12:51:23 2008 +0100
@@ -11,7 +11,7 @@
below and constants declared in HOL!
*}
-hide const subset member quotient between
+hide const subset member quotient
text {*