# HG changeset patch
# User wenzelm
# Date 1213383850 -7200
# Node ID 740159cfbf0eb5406292e31e88fa300fe4130606
# Parent  005d4b953fdc7300a68447e7e1e36caf5bce67fd
hide (open);

diff -r 005d4b953fdc -r 740159cfbf0e src/HOL/Lattice/Bounds.thy
--- a/src/HOL/Lattice/Bounds.thy	Fri Jun 13 21:04:09 2008 +0200
+++ b/src/HOL/Lattice/Bounds.thy	Fri Jun 13 21:04:10 2008 +0200
@@ -7,7 +7,7 @@
 
 theory Bounds imports Orders begin
 
-hide const inf sup
+hide (open) const inf sup
 
 subsection {* Infimum and supremum *}