src/Sequents/LK/Quantifiers.thy
changeset 68424 02e5a44ffe7d
parent 61386 0a29a984a91b