X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Fhtml_reals.xsl;h=a78f454bdc490d7b625eb6a04eccfa0553555fb9;hb=737615e15de79ef27c381c5b2bd65aedbc115e3f;hp=32c81792704447a2eef7bdf3716ceb997696a206;hpb=cc85f1b333f87ffe28de1979899da296a0200797;p=helm.git
diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl
index 32c817927..a78f454bd 100644
--- a/helm/style/html_reals.xsl
+++ b/helm/style/html_reals.xsl
@@ -41,6 +41,9 @@
+
+
+
???
@@ -56,6 +59,9 @@
+
+
+
???
@@ -72,16 +78,73 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
+
+
+
+
+ lim
+
+
+
lim
-
+
+
@@ -95,17 +158,27 @@
-
-
-
-
+
+
+
+
+ d
+ /
+
+ d
+
+
+
+
+
d
- /
-
- d
-
-
-
+ /
+
+ d
+
+
+
+
@@ -155,9 +228,7 @@
-
-
-
+
@@ -168,9 +239,16 @@
-
+
+
+
+
+
+
+
-
+
+
{
,
@@ -182,21 +260,29 @@
+
+
+
-
-
-
+
-
+
+
+
+ lim
+
+
+
lim
-
+
+
@@ -222,17 +308,27 @@
-
-
-
-
- d
- /
-
- d
-
-
-
+
+
+
+
+ d
+ /
+
+ d
+
+
+
+
+
+ d
+ /
+
+ d
+
+
+
+
@@ -301,9 +397,7 @@
-
-
-
+
@@ -319,9 +413,16 @@
-
+
+
+
+
+
+
+
-
+
+
{
@@ -344,8 +445,8 @@
-
+