# HG changeset patch
# User chaieb
# Date 1202298683 -3600
# Node ID 1f95e7191738ac9877dcf65e84b4c477632ddbd6
# Parent  e7a421d1f5c1f40660abae8d20247d38a2b972c7
between constant removed

diff -r e7a421d1f5c1 -r 1f95e7191738 src/HOL/ex/Meson_Test.thy
--- 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 {*