src/Sequents/prover.ML
changeset 15177 e7616269fdca
parent 13105 3d1e7a199bdc
child 16458 4c6fd0c01d28