get 00tdir.cmd get index.html get 00tdir.html get 00dir.html get 00tdir.lst get 00dir.lst get index get zeugmann-thomas-u.ps.xz get zeugmann-thomas-u.pdf get zeugmann-thomas-u.ps.gz get zeugmann-thomas-u.html get zeugmann-thomas-u.dvi get zeugmann-thomas-u.twx get zeugmann-thomas-u.bib get zeugmann-thomas-u.ltx get zeugmann-thomas-u.sok get 00dir.cmd get LICENSE get zeugmann-thomas-u.sub