Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 02-Dec-2002 08:55 -
![[ ]](/icons/dvi.gif){kind=icon}
gleitobjekte.dvi 16-Feb-1998 00:00 40k
![[ ]](/icons/a.gif){kind=icon}
gleitobjekte.ps 16-Feb-1998 00:00 160k
![[TXT]](/icons/text.gif){kind=icon}
gleitobjekte.tex 16-Feb-1998 00:00 28k