Delete Tangle-Isabelle.thy