Name                    Last modified       Size  Description

 Parent Directory        04-Oct-2011 02:10      -  
 17.MAN.dvi              24-Jul-1998 11:10     3k  
 17.MAN.dvi.gz           24-Jul-1998 11:12     1k  
 17.MAN.ps.gz            24-Jul-1998 11:12    18k  
 17.html                 05-May-2000 21:17     3k  
 Cook.MAN.dvi            20-Jul-1998 17:06    51k  
 Cook.MAN.dvi.gz         20-Jul-1998 18:23    22k  
 Cook.MAN.html           01-Aug-1998 11:48     1k  
 Cook.MAN.ps.gz          20-Jul-1998 18:23    66k  
 Goemans.MAN.dvi         20-Jul-1998 17:06    46k  
 Goemans.MAN.dvi.gz      20-Jul-1998 18:23    21k  
 Goemans.MAN.html        01-Aug-1998 11:48     1k  
 Goemans.MAN.ps.gz       20-Jul-1998 18:23    70k  
 Nocedal.MAN.dvi         20-Jul-1998 17:06    35k  
 Nocedal.MAN.dvi.gz      20-Jul-1998 18:23    15k  
 Nocedal.MAN.html        01-Aug-1998 11:48     1k  
 Nocedal.MAN.ps.gz       20-Jul-1998 18:23    51k  
 Pulleyblank.MAN.dvi     20-Jul-1998 17:06    41k  
 Pulleyblank.MAN.dvi.gz  20-Jul-1998 18:23    17k  
 Pulleyblank.MAN.html    01-Aug-1998 11:48     2k  
 Pulleyblank.MAN.ps.gz   20-Jul-1998 18:23    50k  
 Schrijver.MAN.dvi       20-Jul-1998 17:06    38k  
 Schrijver.MAN.dvi.gz    20-Jul-1998 18:23    17k  
 Schrijver.MAN.html      01-Aug-1998 11:48     2k  
 Schrijver.MAN.ps.gz     20-Jul-1998 18:23    62k  
 Willems.MAN.dvi         21-Jul-1998 17:48    44k  
 Willems.MAN.dvi.gz      21-Jul-1998 17:48    18k  
 Willems.MAN.html        01-Aug-1998 11:48     1k  
 Willems.MAN.ps.gz       21-Jul-1998 17:48    65k  
 Zowe.MAN.dvi            20-Jul-1998 17:06    34k  
 Zowe.MAN.dvi.gz         20-Jul-1998 18:23    15k  
 Zowe.MAN.html           01-Aug-1998 11:48     1k  
 Zowe.MAN.ps.gz          20-Jul-1998 18:23    99k