src/Pure/Isar/obtain.ML
changeset 30190 479806475f3c
parent 29581 b3b33e0298eb
child 30211 556d1810cdad
child 30240 5b25fee0362c