
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 *}
 




