src/HOL/Tools/typedef_package.ML
1998-04-29 wenzelm 1998-04-29 renamed from typedef.ML;