src/HOL/Library/Numeral_Type.thy
2007-09-18 wenzelm 2007-09-18 simplified type int (eliminated IntInf.int, integer);
2007-08-22 huffman 2007-08-22 typed print translation for CARD('a); declare zero_less_card_finite [simp]
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