| Wed, 08 Aug 2001 17:38:29 +0200 | wenzelm | constify numeral tokens in order to allow translations; | file | diff | annotate |
| Sun, 23 Jul 2000 12:02:22 +0200 | wenzelm | removed selector syntax -- improper tuples are broken beyond repair :-( | file | diff | annotate |
| Sun, 16 Jul 2000 20:51:19 +0200 | wenzelm | added syntax for proper / improper selector functions; | file | diff | annotate |
| Sun, 04 Jun 2000 19:39:29 +0200 | wenzelm | removed explicit terminator (";"); | file | diff | annotate |
| Tue, 13 Jul 1999 10:42:31 +0200 | paulson | renamed sort "numeral" to "number" | file | diff | annotate |
| Tue, 06 Jul 1999 21:08:30 +0200 | wenzelm | added Numeral.thy, Tools/numeral_syntax.ML; | file | diff | annotate |