src/HOL/Library/Boolean_Algebra.thy
changeset 29629 5111ce425e7a
parent 27368 9f90ac19e32b
child 29996 c09f348ca88a
--- 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 *}