src/Sequents/Modal0.thy
changeset 73682 78044b2f001c
parent 69605 a96320074298