src/Sequents/prover.ML
changeset 15177 e7616269fdca
parent 13105 3d1e7a199bdc
child 16458 4c6fd0c01d28
equal deleted inserted replaced
15176:2fd60846f485 15177:e7616269fdca