src/Pure/Isar/proof.ML
changeset 7613 fe818734c387
parent 7605 8bbfcb54054e
child 7632 25a0d2ba3a87