src/Sequents/S43.thy
changeset 52434 cbb94074682b
parent 52143 36ffe23b25f8
child 54742 7a86358a3c0b