src/HOL/Tools/typecopy_package.ML
2006-10-04 haftmann 2006-10-04 clarified header comments
2006-10-02 haftmann 2006-10-02 tuned
2006-09-19 haftmann 2006-09-19 code generation 2 adjustments
2006-09-06 haftmann 2006-09-06 TypedefPackage.add_typedef_* now yields name of introduced type constructor
2006-08-29 haftmann 2006-08-29 added typecopy_package