Delete Links.thy