File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
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 |
README | 655 B | 2007-06-10 02:53:40 UTC+09:00 |