src/HOL/Library/Boolean_Algebra.thy

--- a/src/HOL/Library/Boolean_Algebra.thy	Mon Jan 26 22:14:16 2009 +0100
+++ b/src/HOL/Library/Boolean_Algebra.thy	Mon Jan 26 22:14:17 2009 +0100
@@ -1,8 +1,5 @@
-(* 
-  ID:     $Id$
-  Author: Brian Huffman
-
-  Boolean algebras as locales.
+(*  Title:      HOL/Library/Boolean_Algebra.thy
+    Author:     Brian Huffman
 *)
 
 header {* Boolean Algebras *}