X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fset.xsl;h=f1f7b7e50b5bf56e470fa0592dec67b76b002d14;hb=205986f235e380ed91d366621adba351c8290815;hp=6fc55645a2c984443e05cfb522cae765ea997037;hpb=8e1a7e55cbc7750446f0a7ab3d071190594243fb;p=helm.git
diff --git a/helm/style/set.xsl b/helm/style/set.xsl
index 6fc55645a..f1f7b7e50 100644
--- a/helm/style/set.xsl
+++ b/helm/style/set.xsl
@@ -34,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=
@@ -73,7 +68,7 @@
-
+
@@ -99,7 +94,7 @@
and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensembles/Ensembles/In.con']]]" mode="pure">
-
+
@@ -123,7 +118,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -151,7 +146,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -181,7 +176,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -213,7 +208,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -247,7 +242,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -282,7 +277,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -316,7 +311,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -339,7 +334,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -362,7 +357,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -396,7 +391,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -434,7 +429,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -472,7 +467,7 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
-
+
@@ -493,4 +488,51 @@ and (count(child::*) = 2) and APPLY[CONST[attribute::uri='cic:/Coq/Sets/Ensemble
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ $x
+
+
+
+
+
+
+ app
+
+ $x
+
+
+
+
+
+
+
+
+
+
+
+
+