+ >
+ <xsl:choose>
+ <xsl:when test="not($body='NO')">Statement</xsl:when>
+ <xsl:otherwise>Definition</xsl:otherwise>
+ </xsl:choose>
+ </a>
+ <xsl:if test="not($body='NO')">
+ <xsl:text> </xsl:text>
+ <a href="" target="{$target}"
+ onClick="this.href=makeURL('{$target}','{concat($quoteduri,$quotedbodyname)}','{$ann}','{$types}')"
+ onMouseOver="window.status='{concat($quoteduri,$quotedname)}'; return true"
+ >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>
+ </xsl:if>