contentlib.xsl improved, now handles eq eqT

[helm.git] / helm / style / ring.xsl

diff --git a/helm/style/ring.xsl b/helm/style/ring.xsl
index 98306fcd4ccc5140bfab1f26ed29baa239bfe47a..1aab092c55c083a31cc198871c0e253515df1ca1 100644 (file)
--- a/helm/style/ring.xsl
+++ b/helm/style/ring.xsl
@@ -78,7 +78,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 +89,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 +100,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'"/>