src/Sequents/Modal0.thy
changeset 50843 1465521b92a1
parent 48891 c0eafbd55de3
child 52143 36ffe23b25f8