src/Sequents/S4.thy
changeset 41881 ea4d8dc12ed5
parent 39159 0dec18004e75
child 42814 5af15f1e2ef6