src/Sequents/LK.thy
changeset 15900 d6156cb8dc2e
parent 7117 37eccadf6b8a
child 17481 75166ebb619b
equal deleted inserted replaced
15899:e30f9161890f 15900:d6156cb8dc2e