Paper/document/mathpartir.sty
changeset 131 e995ae949731
parent 48 559e5c6e5113