src/Pure/Isar/spec_rules.ML
changeset 36746 6e7704471eaa
parent 34948 2d5f2a9f7601
child 41472 f6ab14e61604