Wed, 06 May 2009 16:01:06 +0200 | haftmann | refined HOL string theories and corresponding ML fragments | file | diff | annotate |
Fri, 02 Jan 2009 19:30:12 +0100 | wenzelm | renamed token markup "_xstr" to "_inner_string"; | file | diff | annotate |
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 |