<xsl:with-param name="c-tag" select="CONST"/>
<xsl:with-param name="m-tag" select="'plus'"/>
</xsl:call-template>
</xsl:template>
<xsl:template match="APPLY[CONST/@uri='cic:/Coq/Reals/Rdefinitions/Rminus.con']" mode="pure">
<xsl:with-param name="c-tag" select="CONST"/>
<xsl:with-param name="m-tag" select="'plus'"/>
</xsl:call-template>
</xsl:template>
<xsl:template match="APPLY[CONST/@uri='cic:/Coq/Reals/Rdefinitions/Rminus.con']" mode="pure">