src/Sequents/Modal0.thy
changeset 73661 8b3e672df28c
parent 69605 a96320074298
equal deleted inserted replaced
73660:ff716ecb0805 73661:8b3e672df28c