../ COPYING 22-Feb-2016 15:53 18K README 24-Feb-2016 20:23 1302 mathpartir.dtx 24-Feb-2016 21:01 38K mathpartir.ins 22-Feb-2016 16:09 2555 mathpartir.pdf 24-Feb-2016 21:03 259K