src/HOL/Numeral.thy
Mon, 22 Oct 2001 11:54:22 +0200 paulson Numerals now work for the integers: the binary numerals for 0 and 1 rewrite
Sat, 06 Oct 2001 00:02:46 +0200 wenzelm * sane numerals (stage 2): plain "num" syntax (removed "#");
Fri, 05 Oct 2001 21:49:59 +0200 wenzelm "num" syntax;
Wed, 08 Aug 2001 17:38:29 +0200 wenzelm constify numeral tokens in order to allow translations;
Sun, 23 Jul 2000 12:02:22 +0200 wenzelm removed selector syntax -- improper tuples are broken beyond repair :-(
Sun, 16 Jul 2000 20:51:19 +0200 wenzelm added syntax for proper / improper selector functions;
Sun, 04 Jun 2000 19:39:29 +0200 wenzelm removed explicit terminator (";");
Tue, 13 Jul 1999 10:42:31 +0200 paulson renamed sort "numeral" to "number"
Tue, 06 Jul 1999 21:08:30 +0200 wenzelm added Numeral.thy, Tools/numeral_syntax.ML;
less more (0) tip