X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_init.xsl;h=46fc61b249fa71842a62649809165a69ed6896c4;hb=caab26f85122e0040555139c48a9111a0b2b9fff;hp=93791685ce848fbd5780dcf0e7cf7aea8b6ae80d;hpb=cc85f1b333f87ffe28de1979899da296a0200797;p=helm.git
diff --git a/helm/style/html_init.xsl b/helm/style/html_init.xsl
index 93791685c..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 @@
-
-
-
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
:
@@ -393,5 +507,3 @@
-
-