src/Pure/Isar/outer_syntax.ML
changeset 45107 76fef3e57004
parent 44736 c2a3f1c84179
child 46876 8f3bb485f628