<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
xmlns:m="http://www.w3.org/1998/Math/MathML"
- xmlns:helm="http://www.cs.unibo.it/helm"
- xmlns:xlink="http://www.w3.org/1999/xlink">
+ xmlns:helm="http://www.cs.unibo.it/helm">
-<xsl:template match="APPLY[CONST/@uri='cic:/Coq/ring/Ring_abstract/abstract_rings/apolynomial_normalize_ok.con']" mode="pure">
+<xsl:template match="APPLY[CONST/@uri='cic:/Coq/ring/Ring_abstract/apolynomial_normalize_ok.con']" mode="pure">
<xsl:choose>
<xsl:when test="count(child::*) > 1">
<m:apply helm:xref="{@id}">
</xsl:choose>
</xsl:template>
-<xsl:template match="APPLY[CONST/@uri='cic:/Coq/ring/Ring_abstract/abstract_rings/interp_ap.con']" mode="pure">
+<xsl:template match="APPLY[CONST/@uri='cic:/Coq/ring/Ring_abstract/interp_ap.con']" mode="pure">
<xsl:choose>
<xsl:when test="count(child::*) = 9">
<xsl:call-template name="start-interp">
</xsl:choose>
</xsl:template>
-<xsl:template match="APPLY[CONST/@uri='cic:/Coq/ring/Ring_abstract/abstract_rings/interp_sacs.con']" mode="pure">
+<xsl:template match="APPLY[CONST/@uri='cic:/Coq/ring/Ring_abstract/interp_sacs.con']" mode="pure">
<xsl:choose>
<xsl:when test="count(child::*) = 9 and *[APPLY and position()=9]
- [CONST/@uri='cic:/Coq/ring/Ring_abstract/abstract_rings/apolynomial_normalize.con']">
+ [CONST/@uri='cic:/Coq/ring/Ring_abstract/apolynomial_normalize.con']">
<m:apply helm:xref="{@id}">
<m:csymbol>app</m:csymbol>
<xsl:apply-templates mode="noannot" select="*[9]/*[1]"/>
<!-- ************************** abstract polinomials rendering ************************ -->
-<xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Ring_abstract/abstract_rings/apolynomial.ind'
+<xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Ring_abstract/apolynomial.ind'
and @noConstr='1']]" mode="interp">
<xsl:param name="atree"/>
<xsl:apply-templates select="*[2]" mode="interp">
</xsl:apply-templates>
</xsl:template>
-<xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Ring_abstract/abstract_rings/apolynomial.ind'
+<xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Ring_abstract/apolynomial.ind'
and @noConstr='2']]" mode="interp">
<xsl:param name="atree"/>
<xsl:apply-templates mode="noannot" select="."/>
</xsl:template>
-<xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Ring_abstract/abstract_rings/apolynomial.ind'
+<xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Ring_abstract/apolynomial.ind'
and @noConstr='3']]" mode="interp">
<xsl:param name="atree"/>
<xsl:apply-templates mode="noannot" select="."/>
</xsl:template>
-<xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Ring_abstract/abstract_rings/apolynomial.ind'
+<xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Ring_abstract/apolynomial.ind'
and @noConstr='4']]" mode="interp">
<xsl:param name="atree"/>
- <xsl:call-template name="mkmml-op-interp">
+ <xsl:call-template name="mk-mml-op-interp">
<xsl:with-param name="arity" select="2"/>
<xsl:with-param name="c-tag" select="MUTCONSTRUCT"/>
<xsl:with-param name="m-tag" select="'plus'"/>
</xsl:call-template>
</xsl:template>
-<xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Ring_abstract/abstract_rings/apolynomial.ind'
+<xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Ring_abstract/apolynomial.ind'
and @noConstr='5']]" mode="interp">
<xsl:param name="atree"/>
- <xsl:call-template name="mkmml-op-interp">
+ <xsl:call-template name="mk-mml-op-interp">
<xsl:with-param name="arity" select="2"/>
<xsl:with-param name="c-tag" select="MUTCONSTRUCT"/>
<xsl:with-param name="m-tag" select="'times'"/>
</xsl:call-template>
</xsl:template>
-<xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Ring_abstract/abstract_rings/apolynomial.ind'
+<xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Ring_abstract/apolynomial.ind'
and @noConstr='6']]" mode="interp">
<xsl:param name="atree"/>
- <xsl:call-template name="mkmml-op-interp">
+ <xsl:call-template name="mk-mml-op-interp">
<xsl:with-param name="arity" select="1"/>
<xsl:with-param name="c-tag" select="MUTCONSTRUCT"/>
<xsl:with-param name="m-tag" select="'minus'"/>
</xsl:call-template>
</xsl:template>
-<xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Quote/variables_map/index.ind'
+<xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Quote/index.ind'
and @noConstr='1']]" mode="interp">
<xsl:param name="atree"/>
<xsl:apply-templates select="*[2]" mode="interp">
</xsl:apply-templates>
</xsl:template>
-<xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Quote/variables_map/index.ind'
+<xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Quote/index.ind'
and @noConstr='2']]" mode="interp">
<xsl:param name="atree"/>
<xsl:apply-templates select="*[2]" mode="interp">
</xsl:apply-templates>
</xsl:template>
-<xsl:template match="MUTCONSTRUCT[@uri='cic:/Coq/ring/Quote/variables_map/index.ind'
+<xsl:template match="MUTCONSTRUCT[@uri='cic:/Coq/ring/Quote/index.ind'
and @noConstr='3']" mode="interp">
<xsl:param name="atree"/>
<xsl:apply-templates select="$atree/*[3]" mode="noannot"/>