Paper/document/mathpartir.sty
changeset 69 32ec97f94a07
parent 48 559e5c6e5113