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