| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| README | 2014/03/20 17:27:48 | 543 |
| logicproof.dtx | 2014/03/20 16:06:08 | 24591 |
| logicproof.ins | 2014/03/20 16:06:14 | 1417 |
| logicproof.pdf | 2014/03/20 16:06:18 | 55005 |
This directory on ctan.org. Sizes in bytes, times as CTAN lists them.