src/Sequents/LK0.thy
changeset 54313 da2e6282a4f5
parent 52143 36ffe23b25f8
child 55228 901a6696cdd8
equal deleted inserted replaced
54312:d6121362d705 54313:da2e6282a4f5