Paper/document/mathpartir.sty
changeset 146 0f52b971cc03
parent 48 559e5c6e5113