| 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 |