src/Pure/Isar/typedecl.ML
changeset 45527 d2b3d16b673a
parent 42381 309ec68442c6
child 47005 421760a1efe7
equal deleted inserted replaced
45526:20a82863d5ef 45527:d2b3d16b673a