Paper/document/mathpartir.sty
changeset 164 8a3e63163910
parent 48 559e5c6e5113
equal deleted inserted replaced
163:67063c5365e1 164:8a3e63163910