src/Sequents/LK0.ML
changeset 15900 d6156cb8dc2e
parent 9259 103acc345f75
child 17481 75166ebb619b