src/HOL/Library/Boolean_Algebra.thy
2007-08-21 huffman 2007-08-21 declare conj_absorb [simp]
2007-08-20 huffman 2007-08-20 cleaned up; declared more simp rules
2007-08-20 kleing 2007-08-20 boolean algebras as locales and numbers as types by Brian Huffman