src/HOL/Tools/typedef_codegen.ML
2006-05-24 wenzelm 2006-05-24 simplified TypedefPackage.get_info;
2006-04-24 haftmann 2006-04-24 seperated typedef codegen from main code