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