matita.aux
matita.bbl
matita.blg
matita.dvi
matita.log
matita.out