src/Sequents/S43.ML
changeset 5871 2c037ffa7287
parent 2073 fb0655539d05
child 17481 75166ebb619b