X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_init.xsl;h=26ddf68d2c83eff3f86a8f1481c6c2a57490cf56;hb=e1d232bab1b061d9098fd666ca24bed84b38f99e;hp=bb6bea3ba064347478c777b5c9c2f91d6c1b65fa;hpb=c539f832ce69f7488e79e80d78c2c5003674dc50;p=helm.git
diff --git a/helm/style/html_init.xsl b/helm/style/html_init.xsl
index bb6bea3ba..26ddf68d2 100644
--- a/helm/style/html_init.xsl
+++ b/helm/style/html_init.xsl
@@ -32,6 +32,138 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ (
+
+
+
+
+
+
+
+
+
+
+
+
+ )
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ -
+
+
+
+
+ (
+
+
+
+
+
+
+
+ -
+
+
+ )
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ Ø
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ $
+
+
+ :
+
+ .
+
+
+
+
+
-
+
+
+
@@ -102,18 +236,7 @@
)
- (
-
-
-
-
-
-
-
-
-
-
- )
+
@@ -130,7 +253,9 @@
-
+
+
+
-
@@ -154,7 +279,9 @@
-
+
+
+
-
@@ -164,16 +291,7 @@
)
- (
-
-
-
-
-
- -
-
-
- )
+
@@ -190,7 +308,9 @@
-
+
+
+
Ø
@@ -212,7 +332,9 @@
-
+
+
+
$
@@ -232,19 +354,7 @@
-
-
-
-
- $
-
-
- :
-
- .
-
-
-
+