X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fhtml_init.xsl;h=46fc61b249fa71842a62649809165a69ed6896c4;hb=3128b6ab6540bcf3d099e2fcc591bebe94ed6e62;hp=a6a840a576532ddfcf19db85a341e13087c4908d;hpb=5d9c64e007c6eff9447b2ef67d2a680c86c2775d;p=helm.git
diff --git a/helm/style/html_init.xsl b/helm/style/html_init.xsl
index a6a840a57..46fc61b24 100644
--- a/helm/style/html_init.xsl
+++ b/helm/style/html_init.xsl
@@ -62,6 +62,9 @@
+
+
+
@@ -114,6 +117,9 @@
+
+
+
@@ -143,18 +149,59 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
+ |m:geq|m:gt|m:plus|m:times|m:divide]">
+
(
-
+
+
+
+
+
+
+
+
+
-
+
-
+
+
)
@@ -162,26 +209,42 @@
-
-
-
+
-
+
+
+
+
+
+
+
+
+
-
+
-
+
+
(
-
+
+
+
+
+
+
+
+
+
-
+
-
+
+
)
@@ -190,29 +253,43 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
+
+
+
+
+
+
+
+
+
+
-
+
+
:
@@ -225,12 +302,10 @@
+ |m:geq|m:gt|m:plus|m:times|m:divide]">
-
-
-
+
@@ -244,11 +319,20 @@
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -265,16 +349,23 @@
-
-
-
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -293,11 +384,20 @@
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -313,18 +413,25 @@
-
+
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -332,19 +439,26 @@
-
-
-
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
: