Delete theory.tex