X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fset.xsl;h=4a29f4678984149a300b6279f7193e24ada28870;hb=352196141500ca64f5a0d84218318ed78fdf830a;hp=916a92c514ab1251034830793722adf3d01a3ae3;hpb=039f58232964e627868ec21f7c1e64c843204c75;p=helm.git

diff --git a/helm/style/set.xsl b/helm/style/set.xsl
index 916a92c51..4a29f4678 100644
--- a/helm/style/set.xsl
+++ b/helm/style/set.xsl
@@ -46,7 +46,7 @@
 
 <!-- IN -->
 
-<xsl:template match="APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensembles/Ensembles/In.con']]" mode="pure">
+<xsl:template match="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"/>
@@ -71,8 +71,8 @@
 
 <!-- NOT-IN -->
 <!-- NOT ha no parameters -->
-<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"/>
@@ -96,7 +96,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
 
 <!-- EMPTY SET -->
 
-<xsl:template match="APPLY[MUTIND[attribute::uri='cic:/coq/SETS/Ensembles/Ensembles/Empty_set.ind']]" mode="pure">
+<xsl:template match="APPLY[MUTIND[attribute::uri='cic:/Coq/Sets/Ensembles/Ensembles/Empty_set.ind']]" mode="pure">
     <xsl:variable name="no_params">
      <xsl:call-template name="get_no_params">
       <xsl:with-param name="first_uri" select="/cicxml/@uri"/>
@@ -110,7 +110,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
      </xsl:when>   
      <xsl:when test="(count(child::*) - number($no_params)) = 2">
       <m:apply helm:xref="{@id}">
-       <m:in definitionURL="cic:/coq/SETS/Ensembles/Ensembles/In.con"/>
+       <m:in definitionURL="cic:/Coq/Sets/Ensembles/Ensembles/In.con"/>
        <xsl:apply-templates select="*[2+$no_params]" mode="noannot"/>
        <m:set definitionURL="{MUTIND/@uri}" helm:xref="{@id}">
        </m:set>
@@ -124,7 +124,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
 
 <!-- SINGLETON -->
 
-<xsl:template match="APPLY[MUTIND[attribute::uri='cic:/coq/SETS/Ensembles/Ensembles/Singleton.ind']]" mode="pure">
+<xsl:template match="APPLY[MUTIND[attribute::uri='cic:/Coq/Sets/Ensembles/Ensembles/Singleton.ind']]" mode="pure">
     <xsl:variable name="no_params">
      <xsl:call-template name="get_no_params">
       <xsl:with-param name="first_uri" select="/cicxml/@uri"/>
@@ -139,7 +139,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
      </xsl:when>   
      <xsl:when test="(count(child::*) - number($no_params)) = 3">
       <m:apply helm:xref="{@id}">
-       <m:in definitionURL="cic:/coq/SETS/Ensembles/Ensembles/In.con"/>
+       <m:in definitionURL="cic:/Coq/Sets/Ensembles/Ensembles/In.con"/>
        <xsl:apply-templates select="*[3+$no_params]" mode="noannot"/>
        <m:set definitionURL="{MUTIND/@uri}">
         <xsl:apply-templates select="*[2+$no_params]" mode="noannot"/>
@@ -154,7 +154,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
 
 <!-- COUPLE -->
 
-<xsl:template match="APPLY[MUTIND[attribute::uri='cic:/coq/SETS/Ensembles/Ensembles/Couple.ind']]" mode="pure">
+<xsl:template match="APPLY[MUTIND[attribute::uri='cic:/Coq/Sets/Ensembles/Ensembles/Couple.ind']]" mode="pure">
     <xsl:variable name="no_params">
      <xsl:call-template name="get_no_params">
       <xsl:with-param name="first_uri" select="/cicxml/@uri"/>
@@ -170,7 +170,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
      </xsl:when>   
      <xsl:when test="(count(child::*) - number($no_params)) = 4">
       <m:apply helm:xref="{@id}">
-       <m:in definitionURL="cic:/coq/SETS/Ensembles/Ensembles/In.con"/>
+       <m:in definitionURL="cic:/Coq/Sets/Ensembles/Ensembles/In.con"/>
        <xsl:apply-templates select="*[4+$no_params]" mode="noannot"/>
        <m:set definitionURL="{MUTIND/@uri}">
         <xsl:apply-templates select="*[2+$no_params]" mode="noannot"/>
@@ -186,7 +186,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
 
 <!-- TRIPLE -->
 
-<xsl:template match="APPLY[MUTIND[attribute::uri='cic:/coq/SETS/Ensembles/Ensembles/Triple.ind'] and (count(child::*) = 5)]" mode="pure">
+<xsl:template match="APPLY[MUTIND[attribute::uri='cic:/Coq/Sets/Ensembles/Ensembles/Triple.ind'] and (count(child::*) = 5)]" mode="pure">
     <xsl:variable name="no_params">
      <xsl:call-template name="get_no_params">
       <xsl:with-param name="first_uri" select="/cicxml/@uri"/>
@@ -203,7 +203,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
      </xsl:when>   
      <xsl:when test="(count(child::*) - number($no_params)) = 5">
       <m:apply helm:xref="{@id}">
-       <m:in definitionURL="cic:/coq/SETS/Ensembles/Ensembles/In.con"/>
+       <m:in definitionURL="cic:/Coq/Sets/Ensembles/Ensembles/In.con"/>
        <xsl:apply-templates select="*[5+$no_params]" mode="noannot"/>
        <m:set definitionURL="{MUTIND/@uri}">
         <xsl:apply-templates select="*[2+$no_params]" mode="noannot"/>
@@ -220,7 +220,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
 
 <!-- INTERSECTION -->
 
-<xsl:template match="APPLY[MUTIND[attribute::uri='cic:/coq/SETS/Ensembles/Ensembles/Intersection.ind']]" mode="pure">
+<xsl:template match="APPLY[MUTIND[attribute::uri='cic:/Coq/Sets/Ensembles/Ensembles/Intersection.ind']]" mode="pure">
     <xsl:variable name="no_params">
      <xsl:call-template name="get_no_params">
       <xsl:with-param name="first_uri" select="/cicxml/@uri"/>
@@ -255,7 +255,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
 
 <!-- UNION -->
 
-<xsl:template match="APPLY[MUTIND[attribute::uri='cic:/coq/SETS/Ensembles/Ensembles/Union.ind']]" mode="pure">
+<xsl:template match="APPLY[MUTIND[attribute::uri='cic:/Coq/Sets/Ensembles/Ensembles/Union.ind']]" mode="pure">
     <xsl:variable name="no_params">
      <xsl:call-template name="get_no_params">
       <xsl:with-param name="first_uri" select="/cicxml/@uri"/>
@@ -289,7 +289,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
 
 <!-- INCLUDED -->
 
-<xsl:template match="APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensembles/Ensembles/Included.con']]" mode="pure">
+<xsl:template match="APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensembles/Ensembles/Included.con']]" mode="pure">
     <xsl:variable name="no_params">
      <xsl:call-template name="get_no_params">
       <xsl:with-param name="first_uri" select="/cicxml/@uri"/>
@@ -312,7 +312,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
 
 <!-- STRICTLY INCLUDED -->
 
-<xsl:template match="APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensembles/Ensembles/Strict_Included.con']]" mode="pure">
+<xsl:template match="APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensembles/Ensembles/Strict_Included.con']]" mode="pure">
     <xsl:variable name="no_params">
      <xsl:call-template name="get_no_params">
       <xsl:with-param name="first_uri" select="/cicxml/@uri"/>
@@ -335,7 +335,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
 
 <!-- SET-DIFF -->
 
-<xsl:template match="APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensembles/Ensembles/Setminus.con']]" mode="pure">
+<xsl:template match="APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensembles/Ensembles/Setminus.con']]" mode="pure">
     <xsl:variable name="no_params">
      <xsl:call-template name="get_no_params">
       <xsl:with-param name="first_uri" select="/cicxml/@uri"/>
@@ -369,7 +369,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
 
 <!-- ADD-ELEM -->
 
-<xsl:template match="APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensembles/Ensembles/Add.con']]" mode="pure">
+<xsl:template match="APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensembles/Ensembles/Add.con']]" mode="pure">
     <xsl:variable name="no_params">
      <xsl:call-template name="get_no_params">
       <xsl:with-param name="first_uri" select="/cicxml/@uri"/>
@@ -407,7 +407,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
 
 <!-- SUBTRACT-ELEM -->
 
-<xsl:template match="APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensembles/Ensembles/Subtract.con']]" mode="pure">
+<xsl:template match="APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensembles/Ensembles/Subtract.con']]" mode="pure">
     <xsl:variable name="no_params">
      <xsl:call-template name="get_no_params">
       <xsl:with-param name="first_uri" select="/cicxml/@uri"/>
@@ -445,7 +445,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
 
 <!-- CARD -->
 
-<xsl:template match="APPLY[MUTIND[attribute::uri='cic:/coq/SETS/Finite_sets/Ensembles_finis/cardinal.ind']]" mode="pure">
+<xsl:template match="APPLY[MUTIND[attribute::uri='cic:/Coq/Sets/Finite_sets/Ensembles_finis/cardinal.ind']]" mode="pure">
     <xsl:variable name="no_params">
      <xsl:call-template name="get_no_params">
       <xsl:with-param name="first_uri" select="/cicxml/@uri"/>