Paper/document/mathpartir.sty
changeset 68 01e00065f6a2
parent 48 559e5c6e5113