Wed, 06 May 2009 19:09:31 +0200 | haftmann | proper structures for list and string code generation stuff | file | diff | annotate |
Wed, 06 May 2009 16:01:23 +0200 | haftmann | refined HOL string theories and corresponding ML fragments | file | diff | annotate |
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 |