Name                    Last modified       Size  Description

 Parent Directory        03-Sep-2009 08:42      -  
 primes.contents         22-Sep-1992 19:00     1k  
 primes.contents_z       22-Sep-1992 19:00     1k  
 primes.tex              22-Sep-1992 19:00    22k  
 primes.tex_z            22-Sep-1992 19:00    12k  
 primes.web              22-Sep-1992 19:00    18k  
 primes.web_z            22-Sep-1992 19:00    10k  
 web.tex                 22-Sep-1992 19:00    71k  
 web.tex_z               22-Sep-1992 19:00    39k  

---