X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fset.xsl;h=6fc55645a2c984443e05cfb522cae765ea997037;hb=4e8b137b58ec6763785b8ee490ee8cd6cb77b5bf;hp=b61b44e8858fbf790edaea5d0b80b8be8bb8114d;hpb=e4ae880d435c1b46be0e900a675d2e6e4aaac837;p=helm.git
diff --git a/helm/style/set.xsl b/helm/style/set.xsl
index b61b44e88..6fc55645a 100644
--- a/helm/style/set.xsl
+++ b/helm/style/set.xsl
@@ -1,5 +1,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -14,7 +38,7 @@
-http://localhost:8081/get?url=
+http://localhost:8081/getciconly?uri=
@@ -26,7 +50,7 @@
-
+
@@ -46,7 +70,7 @@
-
+
@@ -71,8 +95,8 @@
-
+
@@ -96,7 +120,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -110,7 +134,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -124,7 +148,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -139,7 +163,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -154,7 +178,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -170,7 +194,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -186,7 +210,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -203,7 +227,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -220,7 +244,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -255,7 +279,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -289,7 +313,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -312,7 +336,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -335,7 +359,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -369,7 +393,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -407,7 +431,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -445,7 +469,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+