X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_set.xsl;h=5c7052c033b2f5253951189609446d98d45ef1cd;hb=0c10a9daa0571da2621b2d8ced0434021d114f8c;hp=3bff65d2be918111d2bf44f7de7e8635d213a216;hpb=6b3bf7885c6e9e5faee65dd18cdc428f0d1d383b;p=helm.git
diff --git a/helm/style/html_set.xsl b/helm/style/html_set.xsl
index 3bff65d2b..5c7052c03 100644
--- a/helm/style/html_set.xsl
+++ b/helm/style/html_set.xsl
@@ -32,6 +32,76 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -44,7 +114,9 @@
-->
- Æ
+
+
+
@@ -122,9 +194,11 @@
(
-
-
-
+
+
+
+
+
)
@@ -178,9 +252,11 @@
-
-
-
+
+
+
+
+
@@ -204,7 +280,9 @@
-->
- Æ
+
+
+