Paper/document/mathpartir.sty
changeset 168 d7570dbf9f06
parent 48 559e5c6e5113