-<xsl:variable name="url"><xsl:call-template name="makeTheoryURL"><xsl:with-param name="type" select="@type"/><xsl:with-param name="uri" select="@uri"/></xsl:call-template></xsl:variable>
- <xsl:copy-of select="document(string($url))"/>
+<xsl:variable name="url"><xsl:call-template name="makeURL4embedding"><xsl:with-param name="type" select="@type"/><xsl:with-param name="uri" select="@uri"/></xsl:call-template></xsl:variable>
+ <xsl:variable name="doc_to_embed" select="document(string($url))/to_be_embedded"/>
+ <xsl:copy-of select="$doc_to_embed/*|$doc_to_embed/text()"/>