src/Pure/Isar/outer_syntax.scala
changeset 37198 3af985b10550
parent 36956 21be4832c362
child 38471 0924654b8163