Update Tangles.thy