src/HOL/Tools/string_syntax.ML
2010-02-13 wenzelm 2010-02-13 modernized structures;
2010-02-11 wenzelm 2010-02-11 modernized translations; formal markup of @{syntax_const} and @{const_syntax}; minor tuning;
2009-05-06 haftmann 2009-05-06 refined HOL string theories and corresponding ML fragments
2009-01-02 wenzelm 2009-01-02 renamed token markup "_xstr" to "_inner_string";
2007-09-25 wenzelm 2007-09-25 proper Sign operations instead of Theory aliases;
2006-12-11 wenzelm 2006-12-11 specials: include single quote;
2006-12-10 wenzelm 2006-12-10 Concrete syntax for hex chars and strings.
2000-12-23 wenzelm 2000-12-23 Tools/string_syntax.ML;