| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| lkproof-doc.pdf | 250.4 KiB | 2010-09-25 12:09:09 UTC+09:00 |
| lkproof-doc.tex | 2.6 KiB | 2010-09-25 12:09:10 UTC+09:00 |
| proof.sty | 7.1 KiB | 2005-11-23 19:00:00 UTC+09:00 |
| proofeg.tex | 1.7 KiB | 2002-04-24 18:00:00 UTC+09:00 |