Quotient-Paper/document/mathpartir.sty
2010-08-19 Cezary Kaliszyk add missing mathpartir
less more (0) tip