src/HOL/Tools/typedef_codegen.ML
2010-05-05 haftmann 2010-05-05 farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =)
2010-03-27 wenzelm 2010-03-27 Typedef.info: separate global and local part, only the latter is transformed by morphisms;
2010-03-13 wenzelm 2010-03-13 adapted to localized typedef: handle single global interpretation only;
2009-06-19 haftmann 2009-06-19 discontinued ancient tradition to suffix certain ML module names with "_package"
2009-06-09 haftmann 2009-06-09 tuned author list
2008-10-09 haftmann 2008-10-09 established canonical argument order in SML code generators
2008-06-30 haftmann 2008-06-30 simplified retrieval of theory names of consts and types
2008-05-23 berghofe 2008-05-23 Replaced Pretty.str and Pretty.string_of by specific functions (from Codegen) that set print_mode and margin appropriately.
2006-09-19 haftmann 2006-09-19 code generation 2 adjustments
2006-08-29 haftmann 2006-08-29 refinements
2006-08-08 haftmann 2006-08-08 improved & fixed code generator theorem generation
2006-05-24 wenzelm 2006-05-24 simplified TypedefPackage.get_info;
2006-04-24 haftmann 2006-04-24 seperated typedef codegen from main code