Paper/document/mathpartir.sty
changeset 127 469c26d19f8e
parent 48 559e5c6e5113