Paper/document/mathpartir.sty
changeset 288 a9003e6d0463
parent 48 559e5c6e5113
equal deleted inserted replaced
287:d5a0e25c4742 288:a9003e6d0463