<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>
<!-- see arith.xsl --> <!-- FG -->
</xsl:stylesheet>
-
-
-
-
-