| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| README | 655 B | 2007-06-10 02:53:40 UTC+09:00 |
| synproof.sty | 5.8 KiB | 2009-07-06 01:26:42 UTC+09:00 |
| synproof-doc.tex | 11.7 KiB | 2007-06-10 04:03:42 UTC+09:00 |
| synproof-doc.pdf | 67.4 KiB | 2007-06-10 04:11:40 UTC+09:00 |