Delete Tangles.thy