Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 06-Dec-2002 14:35 -
![[ ]](/icons/unknown.gif){kind=icon}
primes.contents 24-Sep-1992 00:00 1k
primes.contents_z 24-Sep-1992 00:00 1k
![[TXT]](/icons/text.gif){kind=icon}
primes.tex 24-Sep-1992 00:00 22k
primes.tex_z 24-Sep-1992 00:00 12k
primes.web 24-Sep-1992 00:00 18k
primes.web_z 24-Sep-1992 00:00 10k
web.tex 24-Sep-1992 00:00 71k
web.tex_z 24-Sep-1992 00:00 39k