Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 03-Dec-2002 19:20 -
![[ ]](/icons/dvi.gif){kind=icon}
cryst.dvi 13-Jun-2000 00:00 13k
![[ ]](/icons/unknown.gif){kind=icon}
cryst.ger 16-Sep-1999 00:00 5k
cryst.mf 16-Sep-1999 00:00 49k
![[TXT]](/icons/text.gif){kind=icon}
cryst.tex 16-Sep-1999 00:00 12k
cryst.tfm 13-Jun-2000 00:00 1k
ucrys.fd 16-Sep-1999 00:00 1k