(TXT) abstr.asc
 (HTM) abstr.html
 (DIR) gifs
 (TXT) karls-tex
 (BIN) karls.dvi
 (DOC) karls.pdf
 (BIN) karls.ps.gz