Name                    Last modified       Size  Description

 Parent Directory        04-Oct-2011 02:10      -  
 04.MAN.dvi              24-Jul-1998 11:10     2k  
 04.MAN.dvi.gz           24-Jul-1998 11:12     1k  
 04.MAN.ps.gz            24-Jul-1998 11:12    16k  
 04.html                 05-May-2000 21:13     2k  
 Aspinwall.MAN.dvi       21-Jul-1998 12:51    40k  
 Aspinwall.MAN.dvi.gz    21-Jul-1998 12:52    17k  
 Aspinwall.MAN.html      01-Aug-1998 11:48     1k  
 Aspinwall.MAN.ps.gz     21-Jul-1998 12:52    59k  
 Batyrev.MAN.dvi         20-Jul-1998 17:02    38k  
 Batyrev.MAN.dvi.gz      20-Jul-1998 18:21    17k  
 Batyrev.MAN.html        01-Aug-1998 11:48     1k  
 Batyrev.MAN.ps.gz       20-Jul-1998 18:21    64k  
 Cornalba.MAN.dvi        20-Jul-1998 17:02    46k  
 Cornalba.MAN.dvi.gz     20-Jul-1998 18:21    20k  
 Cornalba.MAN.html       01-Aug-1998 11:48     1k  
 Cornalba.MAN.ps.gz      20-Jul-1998 18:21    69k  
 Dejong.MAN.dvi          20-Jul-1998 17:02    28k  
 Dejong.MAN.dvi.gz       20-Jul-1998 18:21    13k  
 Dejong.MAN.html         01-Aug-1998 11:48     1k  
 Dejong.MAN.ps.gz        20-Jul-1998 18:21    53k  
 Green.MAN.dvi           24-Jul-1998 11:24    40k  
 Green.MAN.dvi.gz        24-Jul-1998 11:24    17k  
 Green.MAN.html          01-Aug-1998 11:48     1k  
 Green.MAN.ps.gz         24-Jul-1998 11:24    64k  
 Kapranov.MAN.dvi        20-Jul-1998 17:02    45k  
 Kapranov.MAN.dvi.gz     20-Jul-1998 18:21    21k  
 Kapranov.MAN.html       01-Aug-1998 11:48     1k  
 Kapranov.MAN.ps.gz      20-Jul-1998 18:21    75k