src/Sequents/S43.thy
changeset 73852 adb34395b622
parent 69593 3dda49e08b9d
equal deleted inserted replaced
73851:bb277f37c34a 73852:adb34395b622