src/Pure/Isar/typedecl.ML
changeset 66787 64b47495676d
parent 61261 ddb2da7cb2e4
child 69732 49d25343d3d4