src/Sequents/ILL.thy
changeset 15900 d6156cb8dc2e
parent 14765 bafb24c150c1
child 17481 75166ebb619b
equal deleted inserted replaced
15899:e30f9161890f 15900:d6156cb8dc2e