<!--******************************************************************-->
<xsl:param name="getterURL" select="'http://localhost:8081/'"/>
+<xsl:param name="processorURL" select="'http://localhost:8080/helm/servlet/uwobo/'"/>
<xsl:variable name="absPath"><xsl:value-of select="$getterURL"/>getciconly?uri=</xsl:variable>
+<xsl:variable name="header"><xsl:value-of select="$processorURL"/>/apply?key=C1&key=HC2&param.getterURL=<xsl:value-of select="$getterURL"/>&param.processorURL=<xsl:value-of select="$processorURL"/>&xmluri=<xsl:value-of select="$absPath"/></xsl:variable>
+
<!-- THEORY -->
<xsl:template match="Theory">
<!-- THEORY ELEMENTS -->
+<!--
+<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)))"/>