Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 30-Nov-2002 16:58 -
![[ ]](/icons/unknown.gif){kind=icon}
yfrabase.mf 22-Mar-1991 00:00 2k
yfrak.mf 22-Mar-1991 00:00 6k
yfrak.tfm 23-Mar-1995 00:00 1k
yfraklow.mf 22-Mar-1991 00:00 32k
yfrakmis.mf 22-Mar-1991 00:00 34k
yfraknum.mf 22-Mar-1991 00:00 6k
yfrakoth.mf 22-Mar-1991 00:00 21k
yfrakupp.mf 22-Mar-1991 00:00 37k
ysmfrak.mf 22-Mar-1991 00:00 6k
ysmfrak.tfm 02-Apr-1995 00:00 1k