Paper/document/mathpartir.sty
changeset 290 6e1c03614d36
parent 48 559e5c6e5113