X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fring.xsl;h=d57723ea8bb6e08326f2e3988e83be6d689040b5;hb=1cfcea66d7394a785ec439cd6b03497b276918c4;hp=98306fcd4ccc5140bfab1f26ed29baa239bfe47a;hpb=e8c7d0435c1f0de182d341f6e6f8e0d7412eefac;p=helm.git

diff --git a/helm/style/ring.xsl b/helm/style/ring.xsl
index 98306fcd4..d57723ea8 100644
--- a/helm/style/ring.xsl
+++ b/helm/style/ring.xsl
@@ -2,8 +2,7 @@
 
 <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:choose>
@@ -78,7 +77,7 @@
 <xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Ring_abstract/abstract_rings/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'"/>
@@ -89,7 +88,7 @@
 <xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Ring_abstract/abstract_rings/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'"/>
@@ -100,7 +99,7 @@
 <xsl:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Ring_abstract/abstract_rings/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'"/>