X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Fset.xsl;h=5ff4fce0b94642e447563375f7cf38dbb0d9dabf;hb=0e25ed1f31b0dd197638e5d212f65d6055656e79;hp=4a29f4678984149a300b6279f7193e24ada28870;hpb=fd98b68b3d650913fc08e269ed03459d06648ca8;p=helm.git
diff --git a/helm/style/set.xsl b/helm/style/set.xsl
index 4a29f4678..5ff4fce0b 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=
@@ -49,7 +68,7 @@
-
+
@@ -75,7 +94,7 @@
and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensembles/Ensembles/In.con']]]" mode="pure">
-
+
@@ -99,7 +118,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -127,7 +146,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -157,7 +176,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -189,7 +208,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -223,7 +242,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -258,7 +277,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -292,7 +311,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -315,7 +334,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -338,7 +357,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -372,7 +391,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -410,7 +429,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -448,7 +467,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+