src/HOL/Numeral.thy
2000-07-23 wenzelm 2000-07-23 removed selector syntax -- improper tuples are broken beyond repair :-(
2000-07-16 wenzelm 2000-07-16 added syntax for proper / improper selector functions;
2000-06-04 wenzelm 2000-06-04 removed explicit terminator (";");
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;