re-added Links.thy