Paper/document/mathpartir.sty
changeset 81 2e9881578cb2
parent 48 559e5c6e5113