Delete tangle_relation.thy