<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:template match="APPLY[MUTCONSTRUCT[@uri='cic:/Coq/ring/Ring_abstract/abstract_rings/apolynomial.ind'
and @noConstr='4']]" mode="interp">
<xsl:param name="atree"/>