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