src/Sequents/prover.ML
changeset 47022 8eac39af4ec0
parent 38500 d5477ee35820
child 55228 901a6696cdd8