src/Sequents/S43.thy
changeset 74314 bed899f14df7
parent 69605 3dda49e08b9d