Delete ARM.tex