src/Sequents/simpdata.ML
changeset 73125 70eabc309de9
parent 69593 3dda49e08b9d
child 74302 6bc96f31cafd
equal deleted inserted replaced
73124:802647edfe7b 73125:70eabc309de9