Create Tangles_update.thy

Updates