X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fset.xsl;h=b574bc59396e188f9e068a4937976e93740e9669;hb=97361ee59354e573e5df31bba78e8e6cda67906d;hp=cdb96ec3e64040ddb9df7c432a3ad936929a3f88;hpb=975ab2f71a5e39379d44a494d73b8e05a8a0ad5d;p=helm.git
diff --git a/helm/style/set.xsl b/helm/style/set.xsl
index cdb96ec3e..b574bc593 100644
--- a/helm/style/set.xsl
+++ b/helm/style/set.xsl
@@ -1,5 +1,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -10,30 +34,24 @@
xmlns:m="http://www.w3.org/1998/Math/MathML"
xmlns:helm="http://www.cs.unibo.it/helm">
-
-
-
-
-http://localhost:8081/getciconly?uri=
-
-
+
-
+
-
+
@@ -43,13 +61,12 @@
-
-
+
-
+
@@ -71,11 +88,11 @@
-
+
-
+
@@ -96,10 +113,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -110,7 +127,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -124,10 +141,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -139,7 +156,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -154,10 +171,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -170,7 +187,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -186,10 +203,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -203,7 +220,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
@@ -220,10 +237,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -255,10 +272,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -289,10 +306,9 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
-
-
-
+
+
+
@@ -312,10 +328,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -335,10 +351,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -369,10 +385,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -407,10 +423,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -445,10 +461,10 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
-
+
-
+
@@ -469,4 +485,53 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/coq/SETS/Ensemble
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ $x
+
+
+
+
+
+
+ app
+
+ $x
+
+
+
+
+
+
+
+
+
+
+
+
+
+