Name                    Last modified       Size  Description

 Parent Directory        04-Oct-2011 02:10      -  
 14.MAN.dvi              24-Jul-1998 11:10     3k  
 14.MAN.dvi.gz           24-Jul-1998 11:12     1k  
 14.MAN.ps.gz            24-Jul-1998 11:12    16k  
 14.html                 05-May-2000 21:16     2k  
 Ajtai.MAN.dvi           21-Jul-1998 17:35    36k  
 Ajtai.MAN.dvi.gz        21-Jul-1998 17:36    15k  
 Ajtai.MAN.html          01-Aug-1998 11:48     2k  
 Ajtai.MAN.ps.gz         21-Jul-1998 17:36    55k  
 Feigenbaum.MAN.dvi      21-Jul-1998 15:51    47k  
 Feigenbaum.MAN.dvi.gz   21-Jul-1998 15:51    20k  
 Feigenbaum.MAN.html     01-Aug-1998 11:48     1k  
 Feigenbaum.MAN.ps.gz    21-Jul-1998 15:51    60k  
 Hastad.MAN.dvi          20-Jul-1998 17:05    45k  
 Hastad.MAN.dvi.gz       20-Jul-1998 18:23    20k  
 Hastad.MAN.html         01-Aug-1998 11:48     1k  
 Hastad.MAN.ps.gz        20-Jul-1998 18:23    73k  
 Pitassi.MAN.dvi         21-Jul-1998 15:51    44k  
 Pitassi.MAN.dvi.gz      21-Jul-1998 15:51    19k  
 Pitassi.MAN.html        01-Aug-1998 11:48     1k  
 Pitassi.MAN.ps.gz       21-Jul-1998 15:51    72k  
 Sudan.MAN.dvi           20-Jul-1998 17:05    51k  
 Sudan.MAN.dvi.gz        20-Jul-1998 18:23    22k  
 Sudan.MAN.html          01-Aug-1998 11:48     2k  
 Sudan.MAN.ps.gz         20-Jul-1998 18:23    77k  
 Welzl.MAN.dvi           20-Jul-1998 17:05    33k  
 Welzl.MAN.dvi.gz        20-Jul-1998 18:23    16k  
 Welzl.MAN.html          01-Aug-1998 11:48     1k  
 Welzl.MAN.ps.gz         20-Jul-1998 18:23    63k