twelf.dvi
twelf.ps
twelf.ps.gz
twelf.pdf
twelf_*.html
twelf.info*
twelf.aux
twelf.log
twelf.cp
twelf.cps
twelf.fn
twelf.fns
twelf.ky
twelf.pg
twelf.toc
twelf.tp
twelf.vr