-<!--
-<xsl:template match="DEFINITION">
- <xsl:copy-of select="document(concat(string($header),string(@definitionURL)))"/>
-</xsl:template>
--->
-
-<xsl:template match="DEFINITION">
-<xsl:param name="current_uri"/>
- <xsl:apply-templates select="document(concat(string($absPath),string($current_uri),"/",string(@uri)))"/>
-</xsl:template>
-
-<xsl:template match="AXIOM">
-<xsl:param name="current_uri"/>
- <xsl:apply-templates select="document(concat(string($absPath),string($current_uri),"/",string(@uri)))"/>
-</xsl:template>
-
-<xsl:template match="THEOREM">
-<xsl:param name="current_uri"/>
- <xsl:apply-templates select="document(concat(string($absPath),string($current_uri),"/",string(@uri)))"/>
-</xsl:template>
-
-<xsl:template match="VARIABLE">