Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 05-Dec-2002 13:17 -
![[ ]](/icons/unknown.gif){kind=icon}
nf3.pfb 14-Feb-2000 00:00 49k
nf3i.pfb 14-Feb-2000 00:00 49k
![[TXT]](/icons/text.gif){kind=icon}
nf3x.pl 14-Feb-2000 00:00 23k
nf3x.tfm 14-Feb-2000 00:00 2k
nf3xend.pl 14-Feb-2000 00:00 12k
nf3xi.pl 14-Feb-2000 00:00 26k
nf3xi.tfm 14-Feb-2000 00:00 2k
nf3xiend.pl 14-Feb-2000 00:00 14k