src/Pure/Isar/outer_syntax.scala
changeset 37251 72c7e636067b
parent 36956 21be4832c362
child 38471 0924654b8163