src/Pure/Isar/rule_insts.ML
changeset 42381 309ec68442c6
parent 42360 da8817d01e7c
child 42806 4b660cdab9b7