src/Pure/Isar/spec_rules.ML
changeset 57978 8f4a332500e4
parent 45291 57cd50f98fdc
child 59573 d09cc83cdce9