--- a/src/HOL/Real/Lubs.thy Tue Sep 21 17:28:33 1999 +0200 +++ b/src/HOL/Real/Lubs.thy Tue Sep 21 17:29:00 1999 +0200 @@ -7,7 +7,7 @@ *) -Lubs = Set + +Lubs = Main + consts