src/HOL/Numeral.thy
1999-07-13 paulson 1999-07-13 renamed sort "numeral" to "number"
1999-07-06 wenzelm 1999-07-06 added Numeral.thy, Tools/numeral_syntax.ML;