src/Pure/Isar/obtain.ML
changeset 28545 2fb2d48de366
parent 28084 a05ca48ef263
child 28965 1de908189869
equal deleted inserted replaced
28544:26743a1591f5 28545:2fb2d48de366