src/Sequents/ILL_predlog.thy
changeset 74329 949054d78a77
parent 61386 0a29a984a91b