src/HOL/Library/Numeral_Type.thy
2007-08-22 huffman 2007-08-22 rename type pls to num0
2007-08-20 kleing 2007-08-20 boolean algebras as locales and numbers as types by Brian Huffman