src/Sequents/S43.thy
changeset 74126 6c6938da7678
parent 69605 3dda49e08b9d
equal deleted inserted replaced
74122:66bff50bc5f1 74126:6c6938da7678