| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| tepsf3.dvi | 3.4 KiB | 2005-07-30 17:00:00 UTC+09:00 |
| tepsf2.dvi | 7.7 KiB | 2005-07-30 17:00:00 UTC+09:00 |
| tepsf1.dvi | 5.1 KiB | 2005-07-30 17:00:00 UTC+09:00 |
| tepsf.eps | 5.4 KiB | 2005-07-22 17:00:00 UTC+09:00 |
| teps.eps | 5.3 KiB | 2005-07-22 17:00:00 UTC+09:00 |