thys/Paper/document/mathpartir.sty
changeset 128 f87e6e23bf17
parent 95 a33d3040bf7e
equal deleted inserted replaced
127:b208bc047eed 128:f87e6e23bf17