| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| READ.ME | 2071 | 02-May-1993 00:00 |
| futhol10.mf | 1333 | 02-May-1993 00:00 |
| futhol20.mf | 1345 | 02-May-1993 00:00 |
| futhol30.mf | 1273 | 02-May-1993 00:00 |
| futhol40.mf | 1344 | 02-May-1993 00:00 |
| futhol50.mf | 1323 | 02-May-1993 00:00 |
| futhold.mf | 5523 | 02-May-1993 00:00 |
| futhold.tex | 1613 | 02-May-1993 00:00 |