Name                    Last modified       Size  Description

 Parent Directory        01-Dec-2008 07:41      -  
 READ.ME                 02-May-1993 02:00     2k  
 futhol10.mf             02-May-1993 02:00     1k  
 futhol20.mf             02-May-1993 02:00     1k  
 futhol30.mf             02-May-1993 02:00     1k  
 futhol40.mf             02-May-1993 02:00     1k  
 futhol50.mf             02-May-1993 02:00     1k  
 futhold.mf              02-May-1993 02:00     5k  
 futhold.tex             02-May-1993 02:00     2k  

---