mathpartir.sty
changeset 32 f91255f99205
parent 0 8d6145cea799