matita.aux
matita.dvi
matita.log
matita.out