src/Sequents/ILL.thy
changeset 54313 da2e6282a4f5
parent 52143 36ffe23b25f8
child 55228 901a6696cdd8