Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/hand.right.gif){kind=icon}
README 2021-02-08 08:04 2.5K
![[ ]](/icons/layout.gif){kind=icon}
teubner-doc.pdf 2021-02-08 08:08 391K
![[TXT]](/icons/text.gif){kind=icon}
teubner-doc.tex 2021-02-08 08:08 88K
![[ ]](/icons/unknown.gif){kind=icon}
teubner.dtx 2021-02-08 08:07 169K
teubner.pdf 2021-02-08 08:07 610K
teubner.txt 2021-02-08 08:11 9.8K