Why did you undo the link names on the Isabelle page? Yours are wrong.<ac_metadata title="Link names"> </ac_metadata>
