Paper/document/mathpartir.sty
changeset 264 bc2df9620f26
parent 48 559e5c6e5113