src/Pure/Isar/parse.ML
changeset 42381 309ec68442c6
parent 42326 e2d22eb4aeb9
child 42519 8ac7e96f913b