src/Sequents/LK.thy
changeset 11461 ffeac9aa1967
parent 7117 37eccadf6b8a
child 17481 75166ebb619b