--- a/src/HOL/Lattice/Bounds.thy Fri Mar 16 21:32:12 2007 +0100
+++ b/src/HOL/Lattice/Bounds.thy Fri Mar 16 21:32:13 2007 +0100
@@ -8,7 +8,6 @@
theory Bounds imports Orders begin
hide const inf sup
-hide const inf sup
subsection {* Infimum and supremum *}