src/Sequents/prover.ML
changeset 6019 0e55c2fb2ebb
parent 4440 9ed4098074bc
child 6054 4a4f6ad607a1