src/HOL/Lubs.thy
changeset 30738 0842e906300c
parent 29654 24e73987bfe2
child 46509 c4b2ec379fdd
     1.1 --- a/src/HOL/Lubs.thy	Fri Mar 27 10:05:08 2009 +0100
     1.2 +++ b/src/HOL/Lubs.thy	Fri Mar 27 10:05:11 2009 +0100
     1.3 @@ -6,7 +6,7 @@
     1.4  header{*Definitions of Upper Bounds and Least Upper Bounds*}
     1.5  
     1.6  theory Lubs
     1.7 -imports Plain Main
     1.8 +imports Main
     1.9  begin
    1.10  
    1.11  text{*Thanks to suggestions by James Margetson*}