# HG changeset patch
# User berghofe
# Date 1184147520 -7200
# Node ID 07968f8cc6622ddab3e3c7ed389ed92005a4fd5f
# Parent  49ac25d4a14a510cb1fc9c9366219db68fd5dc8e
Hide member constant.

diff -r 49ac25d4a14a -r 07968f8cc662 src/HOL/ex/mesontest2.thy
--- a/src/HOL/ex/mesontest2.thy	Wed Jul 11 11:51:15 2007 +0200
+++ b/src/HOL/ex/mesontest2.thy	Wed Jul 11 11:52:00 2007 +0200
@@ -3,6 +3,6 @@
 
 theory mesontest2 imports Main begin
 
-hide const subset
+hide const subset member
 
 end