| Name | Last modified | Size |
|---|---|---|
| ../ | ||
| lkproof-doc.pdf | 2010/09/25 17:09:09 | 256379 |
| lkproof-doc.tex | 2010/09/25 17:09:10 | 2704 |
| proof.sty | 2005/11/24 00:00:00 | 7239 |
| proofeg.tex | 2002/04/24 23:00:00 | 1752 |
This directory on ctan.org. Sizes in bytes, times as CTAN lists them.