X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fbasic.xsl;h=a9d82ddac4e28bc9054d5ba68ff79c093866e415;hb=2f28bfb47f5fad6b3c5a705d9ede95700416dee8;hp=6a1972c5332251bb0c78d1d17c511eb3233c98ae;hpb=5d9c64e007c6eff9447b2ef67d2a680c86c2775d;p=helm.git

diff --git a/helm/style/basic.xsl b/helm/style/basic.xsl
index 6a1972c53..a9d82ddac 100644
--- a/helm/style/basic.xsl
+++ b/helm/style/basic.xsl
@@ -178,19 +178,17 @@
 
 <xsl:template match="APPLY[MUTIND/@uri='cic:/Coq/Init/Logic/Equality/eq.ind']" mode="pure">
    <xsl:call-template name="mk-mml-op-noannot">
-      <xsl:with-param name="arity" select="3"/>
+      <xsl:with-param name="hide" select="1"/>
       <xsl:with-param name="c-tag" select="MUTIND"/>
       <xsl:with-param name="m-tag" select="'eq'"/>
-      <xsl:with-param name="rnset" select="*[position() > 2]"/>
    </xsl:call-template>
 </xsl:template>
 
 <xsl:template match="APPLY[MUTIND/@uri='cic:/Coq/Init/Logic_Type/eqT.ind']" mode="pure">
    <xsl:call-template name="mk-mml-op-noannot">
-      <xsl:with-param name="arity" select="3"/>
+      <xsl:with-param name="hide" select="1"/>
       <xsl:with-param name="c-tag" select="MUTIND"/>
       <xsl:with-param name="m-tag" select="'eq'"/>
-      <xsl:with-param name="rnset" select="*[position() > 2]"/>
    </xsl:call-template>
 </xsl:template>