Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 11-Nov-2018 06:25 -
![[ ]](/icons/unknown.gif){kind=icon}
ocr-a.mf 26-Sep-1992 10:00 22k
ocr-ai.mf 26-Sep-1992 10:00 1k
ocr-aii.mf 26-Sep-1992 10:00 1k
ocr-aiii.mf 26-Sep-1992 10:00 1k
ocr-aiv.mf 26-Sep-1992 10:00 1k
ocr.mf 26-Sep-1992 10:00 50k
ocr10.mf 26-Sep-1992 10:00 1k
ocr12.mf 26-Sep-1992 10:00 1k
ocr16.mf 26-Sep-1992 10:00 1k