Paper/document/mathpartir.sty
changeset 266 b1b47d28c295
parent 48 559e5c6e5113