Paper/document/mathpartir.sty
changeset 118 7d8a1bfb8925
parent 48 559e5c6e5113