| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| primes.contents | 213 | 1992-Sep-23 09:00 | |
| primes.contents_z | 170 | 1992-Sep-23 09:00 | |
| primes.tex | 22917 | 1992-Sep-23 09:00 | |
| primes.tex_z | 12180 | 1992-Sep-23 09:00 | |
| primes.web | 18374 | 1992-Sep-23 09:00 | |
| primes.web_z | 9830 | 1992-Sep-23 09:00 | |
| web.tex | 73202 | 1992-Sep-23 09:00 | |
| web.tex_z | 40392 | 1992-Sep-23 09:00 | |