<!-- For details, see the HELM World-Wide-Web page, -->
<!-- http://cs.unibo.it/helm/. -->
-<xsl:stylesheet version="0.1"
+<xsl:stylesheet version="1.0"
xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
<html>
<head>
<title>Occurrences of <xsl:value-of select="*/*/@rdf:value"/></title>
+ <style>
+ a { text-decoration: none }
+ a.underline {text-decoration: underline }
+ </style>
</head>
<!-- CSC: method onLoad to be removed once the window -->
<!-- CSC: becomes a frame -->
<ul>
<xsl:if test="$no_main != 0">
- <li><a href ="#main">Head position in conclusion
+ <li><a class="underline" href ="#main">Head position in conclusion
(<xsl:value-of select="$no_main"/>)</a></li>
</xsl:if>
<xsl:if test="$no_concl != 0">
- <li><a href ="#concl">In conclusion
+ <li><a class="underline" href ="#concl">In conclusion
(<xsl:value-of select="$no_concl"/>)</a></li>
</xsl:if>
<xsl:if test="$no_main_hyp != 0">
- <li><a href ="#main_hyp">Head position in some hypothesis
+ <li><a class="underline" href ="#main_hyp">Head position in some hypothesis
(<xsl:value-of select="$no_main_hyp"/>)</a></li>
</xsl:if>
<xsl:if test="$no_in_hyp != 0">
- <li><a href ="#hyp">In hypotheses
+ <li><a class="underline" href ="#hyp">In hypotheses
(<xsl:value-of select="$no_in_hyp"/>)</a></li>
</xsl:if>
<xsl:if test="$no_body != 0">
- <li><a href ="#body">In the body
+ <li><a class="underline" href ="#body">In the body
(<xsl:value-of select="$no_body"/>)</a></li>
</xsl:if>
</ul>