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