Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 15-Jan-2019 17:55 -
![[ ]](/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