Paper/document/mathpartir.sty
changeset 219 a3ea0b0f8bad
parent 48 559e5c6e5113