src/Pure/Isar/outer_syntax.ML
changeset 21286 b5e7b80caa6a
parent 21207 cef082634be9
child 21401 faddc6504177