"Links.thy"