src/Pure/Isar/outer_lex.ML
changeset 25456 6f79698f294d
parent 24577 c6acb6d79757
child 25579 22869d9d545b