src/Pure/Isar/rule_cases.ML
changeset 57978 8f4a332500e4
parent 56231 b98813774a63
child 58014 47ecbef7274b