thys/Paper/document/mathpartir.sty
changeset 185 841f7b9c0a6a
parent 95 a33d3040bf7e
equal deleted inserted replaced
184:a42c773ec8ab 185:841f7b9c0a6a