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