src/Pure/Isar/rule_insts.ML
changeset 21286 b5e7b80caa6a
parent 20548 8ef25fe585a8
child 21500 146938537ddc