get 00tdir.cmd get index.html get 00tdir.html get 00dir.html get 00tdir.lst get 00dir.lst get index get young-david-m.ps.xz get young-david-m.pdf get young-david-m.ps.gz get young-david-m.html get young-david-m.dvi get young-david-m.twx get young-david-m.bib get young-david-m.sok get young-david-m.ltx get 00dir.cmd get LICENSE get young-david-m.sed