X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_set.xsl;h=4003d258c48339b7a20b3e1a3fdb64242007a6f8;hb=60c7321771851b82493bb202185ee184f1e7a3d1;hp=78f4a5b9ea98e0c01ed0b1c9d7bd8c40b3fc2dbb;hpb=c539f832ce69f7488e79e80d78c2c5003674dc50;p=helm.git
diff --git a/helm/style/html_set.xsl b/helm/style/html_set.xsl
index 78f4a5b9e..4003d258c 100644
--- a/helm/style/html_set.xsl
+++ b/helm/style/html_set.xsl
@@ -32,63 +32,219 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ {
+
+ :
+
+ |
+
+ }
+
+
+ {
+
+
+
+
+ }
+
+
+ ,
+
+
+
+
+
+
+
+
+
-
+
+
-
-
-
-
+
-
-
- (
-
-
-
-
-
-
-
-
-
-
-
- Î
-
-
-
-
- )
+ |
+
+ |
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
- (
-
-
-
-
-
- Î
-
-
- )
-
+
+ (
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ )
-
+
-
+
-
-
-
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -100,42 +256,56 @@
- Ï
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
)
- (
-
- Ï
-
- )
+
+
-
-
-
+
- Æ
+
+
+
-
+
-
+
{
:
@@ -153,19 +323,6 @@
}
- {
-
- :
-
- |
-
- }
-
-
-
-
-
-
{
@@ -180,263 +337,17 @@
- }
-
-
- {
-
-
-
-
- }
-
-
- ,
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- (
-
-
-
-
-
-
-
-
-
-
-
- Ç
-
-
-
-
- )
-
-
- (
-
-
-
-
-
- Ç
-
-
- )
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- (
-
-
-
-
-
-
-
-
-
-
-
- È
-
-
-
-
- )
-
-
- (
-
-
-
-
-
- È
-
-
- )
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- (
-
-
-
-
-
-
-
-
-
-
-
- Í
-
-
-
-
- )
-
-
- (
-
-
-
-
-
- Í
-
-
- )
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- (
-
-
-
-
-
-
-
-
-
-
-
- Ì
-
-
-
-
- )
-
-
- (
-
-
-
-
-
- Ì
-
-
- )
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- (
-
-
-
-
-
-
-
-
-
-
-
- /
-
-
-
-
- )
-
-
- (
-
-
-
-
-
- /
-
-
- )
-
-
-
+ }
+
+
+
+
+
+
+
+
+
+
@@ -476,10 +387,3 @@
-
-
-
-
-
-
-