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