X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_init.xsl;h=d3c9d19926ef18b55196995aa961e34eb8207c4c;hb=3aa2fd56797217a73b59e25bbe961dbc8c08bb2f;hp=a6a840a576532ddfcf19db85a341e13087c4908d;hpb=5d9c64e007c6eff9447b2ef67d2a680c86c2775d;p=helm.git
diff --git a/helm/style/html_init.xsl b/helm/style/html_init.xsl
index a6a840a57..d3c9d1992 100644
--- a/helm/style/html_init.xsl
+++ b/helm/style/html_init.xsl
@@ -62,6 +62,9 @@
+
+
+
@@ -114,6 +117,9 @@
+
+
+
@@ -143,18 +149,41 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
+ |m:geq|m:gt|m:plus|m:times|m:divide]">
+
(
-
+
+
+
+
+
+
+
+
+
-
+
-
+
+
)
@@ -162,26 +191,42 @@
-
-
-
+
-
+
+
+
+
+
+
+
+
+
-
+
-
+
+
(
-
+
+
+
+
+
+
+
+
+
-
+
-
+
+
)
@@ -190,29 +235,43 @@
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
+
+
+
+
+
+
+
+
+
+
-
+
+
:
@@ -225,12 +284,10 @@
+ |m:geq|m:gt|m:plus|m:times|m:divide]">
-
-
-
+
@@ -244,11 +301,20 @@
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -265,16 +331,23 @@
-
-
-
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -293,11 +366,20 @@
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -313,18 +395,25 @@
-
+
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -332,19 +421,26 @@
-
-
-
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
: