src/HOL/Tools/list_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
2010-06-01 haftmann 2010-06-01 brackify_infix etc.: no break before infix operator -- eases survival in Scala
2009-05-06 haftmann 2009-05-06 proper structures for list and string code generation stuff