X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Fset.xsl;h=f1f7b7e50b5bf56e470fa0592dec67b76b002d14;hb=fecad5c7499c396c8ff89fe7d353573991db8774;hp=916a92c514ab1251034830793722adf3d01a3ae3;hpb=039f58232964e627868ec21f7c1e64c843204c75;p=helm.git
diff --git a/helm/style/set.xsl b/helm/style/set.xsl
index 916a92c51..f1f7b7e50 100644
--- a/helm/style/set.xsl
+++ b/helm/style/set.xsl
@@ -1,5 +1,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -10,11 +34,6 @@
xmlns:m="http://www.w3.org/1998/Math/MathML"
xmlns:helm="http://www.cs.unibo.it/helm">
-
-
-
-
-http://localhost:8081/getciconly?uri=
@@ -46,10 +65,10 @@
-
+
-
+
@@ -71,11 +90,11 @@
-
+
-
+
@@ -96,10 +115,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -110,7 +129,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -124,10 +143,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -139,7 +158,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -154,10 +173,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -170,7 +189,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -186,10 +205,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -203,7 +222,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -220,10 +239,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -255,10 +274,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -289,10 +308,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -312,10 +331,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -335,10 +354,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -369,10 +388,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -407,10 +426,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -445,10 +464,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -469,4 +488,51 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ $x
+
+
+
+
+
+
+ app
+
+ $x
+
+
+
+
+
+
+
+
+
+
+
+
+