Index of /pub/staff/DES

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Koz:93d.ps.gz           13-Sep-1994 08:36   61K  
 Koz:93e.ps.gz           13-Sep-1994 08:36   49K  
 Koz:94a.ps.gz           13-Sep-1994 08:36   48K  
 Koz:94b.ps.gz           13-Sep-1994 08:36   38K  
 Koz:94c.ps.gz           13-Sep-1994 08:36   57K  
 kozak.html              12-Jun-1995 10:11  1.6K  
 des.bib.gz              08-Aug-1995 10:04   51K  
 DES.html                11-Mar-1996 14:56  4.8K