src/Sequents/LK/prop.ML
changeset 6349 f7750d816c21
parent 6252 935f183bf406
child 17481 75166ebb619b