src/Sequents/S4.thy
changeset 68743 91162dd89571
parent 61386 0a29a984a91b