Slides/document/mathpartir.sty
2012-12-06 Christian Urban added
less more (0) tip