src/HOL/Tools/string_code.ML
2012-06-05 haftmann 2012-06-05 prefer records with speaking labels over deeply nested tuples
2010-08-31 haftmann 2010-08-31 more coherent naming of syntax data structures
2010-07-19 haftmann 2010-07-19 distinguish different classes of const syntax
2010-07-08 haftmann 2010-07-08 tuned titles
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