src/Sequents/ILL_predlog.thy
changeset 74076 97ad1687cec7
parent 61386 0a29a984a91b
equal deleted inserted replaced
74075:a5bab59d580b 74076:97ad1687cec7