# HG changeset patch
# User haftmann
# Date 1283155285 -7200
# Node ID 23af89f419bbd51889d561d22f5ed835b9690fc8
# Parent  8ffb9f5412859a030422ecc3c8fcc07cde78a822
what is hidden is hidden

diff -r 8ffb9f541285 -r 23af89f419bb src/HOL/ex/Meson_Test.thy
--- a/src/HOL/ex/Meson_Test.thy	Mon Aug 30 09:37:43 2010 +0200
+++ b/src/HOL/ex/Meson_Test.thy	Mon Aug 30 10:01:25 2010 +0200
@@ -10,7 +10,7 @@
   below and constants declared in HOL!
 *}
 
-hide_const (open) eq implies union inter subset sum quotient 
+hide_const (open) implies union inter subset sum quotient 
 
 text {*
   Test data for the MESON proof procedure