file micro.aux

file micro.dvi

file micro.log

file micro.pdf

file micro.ps

file micro.tex

file micro.toc

file micro.tex~