| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| web.tex_z | 39.4 KiB | Sep 23, 1992 |
| web.tex | 71.5 KiB | Sep 23, 1992 |
| primes.web_z | 9.6 KiB | Sep 23, 1992 |
| primes.web | 17.9 KiB | Sep 23, 1992 |
| primes.tex_z | 11.9 KiB | Sep 23, 1992 |
| primes.tex | 22.4 KiB | Sep 23, 1992 |
| primes.contents_z | 170 B | Sep 23, 1992 |
| primes.contents | 213 B | Sep 23, 1992 |