<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
-<xsl:template match="APPLY[CONST[attribute::uri='cic:/coq/INIT/Logic/not.con']
-and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensembles/Ensembles/In.con']]]" mode="pure">
+<xsl:template match="APPLY[CONST[attribute::uri='cic:/Coq/Init/Logic/not.con']
+and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensembles/Ensembles/In.con']]]" mode="pure">
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:apply-templates select="*[2+$no_params]" mode="noannot"/>
<m:set definitionURL="{MUTIND/@uri}" helm:xref="{@id}">
</m:set>
<xsl:apply-templates select="*[2+$no_params]" mode="noannot"/>
<m:set definitionURL="{MUTIND/@uri}" helm:xref="{@id}">
</m:set>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:apply-templates select="*[3+$no_params]" mode="noannot"/>
<m:set definitionURL="{MUTIND/@uri}">
<xsl:apply-templates select="*[2+$no_params]" mode="noannot"/>
<xsl:apply-templates select="*[3+$no_params]" mode="noannot"/>
<m:set definitionURL="{MUTIND/@uri}">
<xsl:apply-templates select="*[2+$no_params]" mode="noannot"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:apply-templates select="*[4+$no_params]" mode="noannot"/>
<m:set definitionURL="{MUTIND/@uri}">
<xsl:apply-templates select="*[2+$no_params]" mode="noannot"/>
<xsl:apply-templates select="*[4+$no_params]" mode="noannot"/>
<m:set definitionURL="{MUTIND/@uri}">
<xsl:apply-templates select="*[2+$no_params]" mode="noannot"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:apply-templates select="*[5+$no_params]" mode="noannot"/>
<m:set definitionURL="{MUTIND/@uri}">
<xsl:apply-templates select="*[2+$no_params]" mode="noannot"/>
<xsl:apply-templates select="*[5+$no_params]" mode="noannot"/>
<m:set definitionURL="{MUTIND/@uri}">
<xsl:apply-templates select="*[2+$no_params]" mode="noannot"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>
<xsl:variable name="no_params">
<xsl:call-template name="get_no_params">
<xsl:with-param name="first_uri" select="/cicxml/@uri"/>