src/Pure/Isar/isar_cmd.ML
changeset 7613 fe818734c387
parent 7503 e8be98558eb8
child 7615 c650147f56f1