<!-- Added the declaration of the xlink namespace -->
<!-- ====================================================== -->
+<!-- ====================================================== -->
+<!-- June, 2000 - HELM group: -->
+<!-- Added auxiliary function to inser: -->
+<!-- 1) backwards pointers: helm:xref -->
+<!-- 2) references to definitions: xlink:href -->
+<!-- Added call-templates to the functions: -->
+<!-- insert_xref, insert, insert1, insert2 -->
+<!-- ====================================================== -->
+
+
+<!-- HELM: namespace helm added -->
<xsl:stylesheet id="mml2mml"
version="1.0"
xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
<xsl:variable name="NEG_PREC" select="13"/>
<xsl:variable name="FUNCTION_PREC" select="99"/>
-<!-- AUXILIARY FUNCTIONS FOR BACKWARD POINTERS AND REFS (by andrea) -->
+<!-- HELM: auxiliary functions for backwards pointers and refs -->
<xsl:template name = "insert_xref">
<xsl:if test="@helm:xref">
</xsl:if>
</xsl:template>
-<!-- for use inside m:apply -->
+<!-- HELM: for use inside m:apply -->
<xsl:template name = "insert1">
<xsl:if test="*[1]/@definitionURL">
<xsl:attribute name="xlink:href">
</xsl:if>
</xsl:template>
-<!-- For use inside "for-each" -->
+<!-- HELM: for use inside "for-each" -->
<xsl:template name = "insert2">
<xsl:if test="../*[1]/@definitionURL">
<xsl:attribute name="xlink:href">
</m:mrow>
</xsl:template>
-<!-- These "semantical" Transformations are REALLY questionable.
+<!-- HELM: these "semantical" Transformations are REALLY questionable.
Andrea -->
<xsl:template match = "m:apply[*[1][self::m:inverse]]">
</xsl:apply-templates>
<xsl:if test="*[3]">
<xsl:for-each select = "*[position()>2]">
-<!-- MODIFICA PROVVISORIA -->
+<!-- HELM: MODIFICA PROVVISORIA -->
<!-- <m:mo><xsl:call-template name="insert2"/>
<mchar name="InvisibleTimes"/> </m:mo> -->
<m:mo><xsl:call-template name="insert2"/>*</m:mo>
</xsl:if>
</xsl:template>
-<!-- COMMENTO : dove metto la uri della definizione di radice ???? -->
+<!-- HELM: COMMENTO : dove metto la uri della definizione di radice ???? -->
<xsl:template match = "m:apply[m:root[1]]">
<m:msqrt>
</xsl:template>
</xsl:stylesheet>
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+