src/Sequents/S43.thy
changeset 74050 9db620f007fa
parent 69605 3dda49e08b9d