src/HOL/Tools/string_syntax.ML
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;