Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 03-Dec-2002 08:44 -
![[ ]](/icons/layout.gif){kind=icon}
teubner-doc.pdf 19-Aug-2002 00:25 331k
![[ ]](/icons/unknown.gif){kind=icon}
teubner.dtx 18-Aug-2002 23:57 117k
cbmetre.mf 15-May-2001 00:00 24k
![[TXT]](/icons/text.gif){kind=icon}
teubner.txt 29-Jul-2001 00:00 7k
gmtr.mf 25-Feb-2001 00:00 5k
teubner.ins 20-Jun-2001 00:00 2k