src/HOL/Library/Boolean_Algebra.thy
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2007-12-18 haftmann 2007-12-18 switched from PreList to ATP_Linkup
2007-12-10 haftmann 2007-12-10 switched import from Main to PreList
2007-11-05 ballarin 2007-11-05 Type instance of thm mk_left_commute in locales.
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