+ >Proof term</a>
+ </xsl:if>
+ <xsl:if test="not($proof_tree='NO')">
+ <xsl:text> </xsl:text>
+ <a href="" target="{$target}"
+ onClick="this.href=makeURL('{$target}','{concat($quoteduri,$quotedprooftreename)}','{$ann}','{$types}')"
+ onMouseOver="window.status='{concat($quoteduri,$quotedname)}'; return true"
+ >Proof tree</a>