| Tue, 16 Jan 2001 00:30:06 +0100 | wenzelm | improved string syntax (allow translation rules); | file | diff | annotate |
| Sat, 23 Dec 2000 22:50:19 +0100 | wenzelm | Tools/string_syntax.ML; | file | diff | annotate |
| Mon, 16 Aug 1999 22:07:12 +0200 | wenzelm | 'a list: Nil, Cons; | file | diff | annotate |
| Wed, 17 Mar 1999 17:18:54 +0100 | wenzelm | xstr token class; | file | diff | annotate |
| Fri, 03 Jul 1998 17:33:47 +0200 | wenzelm | moved String theory to main HOL; | file | diff | annotate |