Paper/document/mathpartir.sty
changeset 71 8c7f10b3da7b
parent 48 559e5c6e5113