src/Pure/Isar/method.ML
changeset 42381 309ec68442c6
parent 42380 9371ea9f91fb
child 42616 92715b528e78