- <xsl:value-of select="$biquotedfixedheader"/>
- <xsl:value-of select="$uri"/>%26param.CICURI%3D<xsl:value-of select="$uri"/>
+ <xsl:value-of select="$biquotedfixedheader"/>
+ <xsl:value-of select="$uri"/>%26param.CICURI%3D<xsl:value-of select="$uri"/>
+</xsl:template>
+<xsl:template name="makeTheoryURL">
+<xsl:param name="uri" select="''"/>
+ <xsl:value-of select="$biquotedthfixedheader"/>
+ <xsl:value-of select="$uri"/>%26param.CICURI%3D<xsl:value-of select="$uri"/>
+ <xsl:value-of select="$quotedheader3"/>