src/Pure/Isar/proof_node.ML
changeset 45488 6d71d9e52369
parent 33390 5b499f36dd25
child 49863 b5fb6e7f8d81