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