src/Pure/Isar/isar_syn.ML
changeset 21286 b5e7b80caa6a
parent 21269 c605503bb4ef
child 21306 7ab6e95e6b0b