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 *}