src/Sequents/LK.thy
changeset 51549 37211c7c2894
parent 48891 c0eafbd55de3
child 51717 9e7d1c139569