Paper/document/mathpartir.sty
changeset 229 d8e6f0798e23
parent 48 559e5c6e5113