src/HOL/Library/Glbs.thy
changeset 30661 54858c8ad226
parent 30267 171b3bd93c90
child 46509 c4b2ec379fdd
     1.1 --- a/src/HOL/Library/Glbs.thy	Mon Mar 23 08:14:22 2009 +0100
     1.2 +++ b/src/HOL/Library/Glbs.thy	Mon Mar 23 08:14:23 2009 +0100
     1.3 @@ -1,8 +1,6 @@
     1.4 -(* Title:      Glbs
     1.5 -   Author:     Amine Chaieb, University of Cambridge
     1.6 -*)
     1.7 +(* Author: Amine Chaieb, University of Cambridge *)
     1.8  
     1.9 -header{*Definitions of Lower Bounds and Greatest Lower Bounds, analogous to Lubs*}
    1.10 +header {* Definitions of Lower Bounds and Greatest Lower Bounds, analogous to Lubs *}
    1.11  
    1.12  theory Glbs
    1.13  imports Lubs