src/Sequents/T.thy
changeset 70281 110df6f91376
parent 61386 0a29a984a91b