matita.aux
matita.bbl
matita.blg
matita.dvi
matita.log
matita.out
matita.ps
matita.pdf
matita2.aux
matita2.bbl
matita2.blg
matita2.dvi
matita2.log
matita2.out
matita2.ps
matita2.pdf