X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Fhtml_set.xsl;h=4003d258c48339b7a20b3e1a3fdb64242007a6f8;hb=fecad5c7499c396c8ff89fe7d353573991db8774;hp=a8511d65d66596a990fe3d580c48742d99fa82bc;hpb=b564f0671c133928e372e352d972a7663b6a9136;p=helm.git
diff --git a/helm/style/html_set.xsl b/helm/style/html_set.xsl
index a8511d65d..4003d258c 100644
--- a/helm/style/html_set.xsl
+++ b/helm/style/html_set.xsl
@@ -32,6 +32,76 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -39,12 +109,12 @@
-
-
-
+
- Æ
+
+
+
@@ -91,9 +161,7 @@
-
-
-
+
@@ -121,16 +189,24 @@
(
-
-
-
-
+
+
+
+
+
+
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
)
@@ -141,9 +217,7 @@
|m:subset|m:prsubset|m:setdiff]">
-
-
-
+
@@ -182,16 +256,24 @@
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -209,12 +291,12 @@
-
-
-
+
- Æ
+
+
+
@@ -305,10 +387,3 @@
-
-
-
-
-
-
-