X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_set.xsl;h=4003d258c48339b7a20b3e1a3fdb64242007a6f8;hb=fc35fbb35a01c110f221c52661f1193ea5664aa6;hp=224c76088a51a62dcf2de94d419affc5464b6419;hpb=fffff12ad86e979d3a86c43b56ba234d8afa5c2a;p=helm.git
diff --git a/helm/style/html_set.xsl b/helm/style/html_set.xsl
index 224c76088..4003d258c 100644
--- a/helm/style/html_set.xsl
+++ b/helm/style/html_set.xsl
@@ -32,6 +32,76 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -40,11 +110,11 @@
-
- Æ
+
+
+
@@ -91,9 +161,7 @@
-
-
-
+
@@ -121,11 +189,24 @@
(
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
)
@@ -136,9 +217,7 @@
|m:subset|m:prsubset|m:setdiff]">
-
-
-
+
@@ -177,11 +256,24 @@
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -200,11 +292,11 @@
-
- Æ
+
+
+
@@ -295,10 +387,3 @@
-
-
-
-
-
-
-