<xsl:stylesheet version="0.1" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
-<xsl:import href="rootcontent.xsl"/>
-
-<!--******************************************************************-->
-<!-- Variable containing the absolute path of the CIC file -->
-<!--******************************************************************-->
-
-<xsl:param name="getterURL" select="'http://localhost:8081/'"/>
-
-<xsl:variable name="absPath"><xsl:value-of select="$getterURL"/>getciconly?uri=</xsl:variable>
<!-- THEORY -->
<xsl:template match="Theory">
- <SECTION>
+ <Theory name="{@uri}" uri="{@uri}">
<xsl:apply-templates><xsl:with-param name="current_uri" select="string(@uri)"/></xsl:apply-templates>
- </SECTION>
+ </Theory>
</xsl:template>
<!-- SUBTHEORY -->
<!-- THEORY ELEMENTS -->
-<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">
+<xsl:template match="THEOREM|LEMMA|COROLLARY|AXIOM|FACT|DEFINITION|
+ VARIABLE">
<xsl:param name="current_uri"/>
- <xsl:apply-templates select="document(concat(string($absPath),string($current_uri),"/",string(@uri)))"/>
+<xsl:variable name="uri" select="concat(string($current_uri),"/",string(@uri))"/>
+ <xsl:copy>
+ <xsl:attribute name="name"><xsl:value-of select="substring-before(@uri,".")"/></xsl:attribute>
+ <xsl:attribute name="uri"><xsl:value-of select="$uri"/></xsl:attribute>
+ </xsl:copy>
</xsl:template>
</xsl:stylesheet>