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