../ README 25-Aug-2023 16:15 2703 teubner-doc.pdf 25-Aug-2023 16:07 439290 teubner-doc.tex 25-Aug-2023 16:08 93304 teubner.dtx 25-Aug-2023 06:14 165873 teubner.pdf 25-Aug-2023 06:14 673446 teubner.txt 25-Aug-2023 16:22 10279