src/HOL/Tools/string_code.ML
2009-12-04 haftmann 2009-12-04 more speaking function names for Code_Printer; added doublesemicolon
2009-05-19 haftmann 2009-05-19 String.literal replaces message_string, code_numeral replaces (code_)index
2009-05-06 haftmann 2009-05-06 proper structures for list and string code generation stuff