Paper/document/mathpartir.sty
changeset 52 2cb1e4499983
parent 48 559e5c6e5113