src/HOL/Tools/typedef_package.ML
changeset 15703 727ef1b8b3ee
parent 15570 8d8c70b41bab
child 16126 3ba9eb7ea366