src/Pure/Isar/spec_rules.ML
changeset 66787 64b47495676d
parent 61060 a2c6f7f64aca
child 67649 1e1782c1aedf