src/Pure/Isar/outer_keyword.ML
changeset 36610 bafd82950e24
parent 36315 e859879079c8
child 36681 dffeca08d3bf