mathpartir.sty
2012-09-25 Christian Urban initial comit
less more (0) tip