| 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 |