Delete up-fragment-proof.tex