src/Pure/Isar/outer_keyword.ML
changeset 25456 6f79698f294d
parent 17270 534b6e5e3736
child 27357 5b3a087ff292