src/Sequents/Sequents.thy
changeset 31726 ffd2dc631d88
parent 26956 1309a6a0a29f
child 35113 1a0c129bb2e0