re-added Tangles.thy