| Tue, 25 Sep 2007 17:06:14 +0200 | wenzelm | proper Sign operations instead of Theory aliases; | file | diff | annotate |
| Mon, 11 Dec 2006 21:41:05 +0100 | wenzelm | specials: include single quote; | file | diff | annotate |
| Sun, 10 Dec 2006 19:37:30 +0100 | wenzelm | Concrete syntax for hex chars and strings. | file | diff | annotate |
| Sat, 23 Dec 2000 22:50:19 +0100 | wenzelm | Tools/string_syntax.ML; | file | diff | annotate |