X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_set.xsl;h=5c7052c033b2f5253951189609446d98d45ef1cd;hb=0c10a9daa0571da2621b2d8ced0434021d114f8c;hp=97e3b1e074c89197115aefec36bbd6edad638203;hpb=f5a06d5c51c59dcfe432a3b4236f0a4189f031f6;p=helm.git
diff --git a/helm/style/html_set.xsl b/helm/style/html_set.xsl
index 97e3b1e07..5c7052c03 100644
--- a/helm/style/html_set.xsl
+++ b/helm/style/html_set.xsl
@@ -32,6 +32,76 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -39,12 +109,14 @@
-
-
-
+
+
- Æ
+
+
+
@@ -121,13 +193,12 @@
(
-
-
-
-
-
-
-
+
+
+
+
+
+
)
@@ -180,13 +251,12 @@
-
-
-
-
-
-
-
+
+
+
+
+
+
@@ -205,12 +275,14 @@
-
-
-
+
+
- Æ
+
+
+