src/Sequents/prover.ML
changeset 17481 75166ebb619b
parent 16458 4c6fd0c01d28
child 18708 4b3dadb4fe33
equal deleted inserted replaced
17480:fd19f77dcf60 17481:75166ebb619b