src/HOL/Tools/typecopy_package.ML
2006-08-29 haftmann 2006-08-29 added typecopy_package