Update Tangles_update.thy