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