src/Sequents/ILL_predlog.thy
changeset 73852 adb34395b622
parent 61386 0a29a984a91b