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