../ COPYING 22-Feb-2016 23:53 18K README 25-Feb-2016 04:23 1302 mathpartir.dtx 25-Feb-2016 05:01 38K mathpartir.ins 23-Feb-2016 00:09 2555 mathpartir.pdf 25-Feb-2016 05:03 259K