src/Pure/Isar/isar_cmd.ML
changeset 21658 5e31241e1e3c
parent 21566 af2932baf068
child 21663 734a9c3f562d