src/Sequents/LK0.ML
changeset 15900 d6156cb8dc2e
parent 9259 103acc345f75
child 17481 75166ebb619b
equal deleted inserted replaced
15899:e30f9161890f 15900:d6156cb8dc2e