src/HOL/Tools/typedef_package.ML
changeset 18986 5060ca625e02
parent 18964 67f572e03236
child 19342 094a1c071c8e