# HG changeset patch
# User wenzelm
# Date 1147808046 -7200
# Node ID 6afaf300cb785fbe6a4df9c0cc4bd0548a39670d
# Parent  78c7d9dfcfc9cd23de93e4decd34e47b46cc04ed
hide const subst;

diff -r 78c7d9dfcfc9 -r 6afaf300cb78 src/HOL/ex/mesontest2.thy
--- a/src/HOL/ex/mesontest2.thy	Tue May 16 21:33:26 2006 +0200
+++ b/src/HOL/ex/mesontest2.thy	Tue May 16 21:34:06 2006 +0200
@@ -3,4 +3,6 @@
 
 theory mesontest2 imports Main begin
 
+hide const subset
+
 end