src/Sequents/ILL_predlog.thy
changeset 74096 cb64ccdc3ac1
parent 61386 0a29a984a91b