src/HOL/Library/Boolean_Algebra.thy
Mon, 20 Aug 2007 00:22:18 +0200 kleing boolean algebras as locales and numbers as types by Brian Huffman
less more (0) tip