src/Sequents/S43.thy
changeset 73870 d156b141fe2f
parent 69593 3dda49e08b9d