src/HOL/Tools/typedef_codegen.ML
2006-09-19 ago code generation 2 adjustments
2006-08-29 ago refinements
2006-08-08 ago improved & fixed code generator theorem generation
2006-05-24 ago simplified TypedefPackage.get_info;
2006-04-24 ago seperated typedef codegen from main code