File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
teubner.pdf | 656.0 KiB | Oct 3, 2022 |
teubner-doc.pdf | 422.8 KiB | Oct 3, 2022 |
teubner.dtx | 161.3 KiB | Oct 3, 2022 |
teubner-doc.tex | 90.8 KiB | Oct 3, 2022 |
teubner.txt | 9.7 KiB | Oct 3, 2022 |
README | 2.4 KiB | Oct 2, 2022 |