../ README 26-Apr-2024 19:47 2703 teubner-doc.pdf 26-Apr-2024 19:47 439290 teubner-doc.tex 26-Apr-2024 19:47 93304 teubner.dtx 26-Apr-2024 19:47 165873 teubner.pdf 26-Apr-2024 19:47 673446 teubner.txt 26-Apr-2024 19:47 10279