# HG changeset patch
# User haftmann
# Date 1174077133 -3600
# Node ID 1ed5b9c3ae6737bc9f033e0f01514a838135a411
# Parent  6070e48ecb789a9935a66e35c9984a1b9598b83b
dropped superfluous hide

diff -r 6070e48ecb78 -r 1ed5b9c3ae67 src/HOL/Lattice/Bounds.thy
--- 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 *}