src/Sequents/S4.thy
changeset 74995 68ffcf5cc94b
parent 61386 0a29a984a91b