Delete defs.tex