../ COPYING 03-Oct-2024 23:21 17992 README 24-Feb-2016 20:23 1302 mathpartir.dtx 24-Feb-2016 21:01 38822 mathpartir.ins 22-Feb-2016 16:09 2555 mathpartir.pdf 24-Feb-2016 21:03 265615