src/Sequents/Sequents.thy
changeset 73125 70eabc309de9
parent 69605 a96320074298
child 74302 6bc96f31cafd