../ COPYING 22-Feb-2016 22:53 17992 README 25-Feb-2016 03:23 1302 mathpartir.dtx 25-Feb-2016 04:01 38822 mathpartir.ins 22-Feb-2016 23:09 2555 mathpartir.pdf 25-Feb-2016 04:03 265615