X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_reals.xsl;h=a78f454bdc490d7b625eb6a04eccfa0553555fb9;hb=205986f235e380ed91d366621adba351c8290815;hp=3403b9dcb8c537e752d448116b87d3b35cd92142;hpb=6b3bf7885c6e9e5faee65dd18cdc428f0d1d383b;p=helm.git
diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl
index 3403b9dcb..a78f454bd 100644
--- a/helm/style/html_reals.xsl
+++ b/helm/style/html_reals.xsl
@@ -32,23 +32,124 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ???
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ???
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
+
+
+
+
+ lim
+
+
+
lim
-
+
+
- ®
+
+
+
@@ -57,17 +158,27 @@
-
-
-
-
+
+
+
+
+ d
+ /
+
+ d
+
+
+
+
+
d
- /
-
- d
-
-
-
+ /
+
+ d
+
+
+
+
@@ -117,9 +228,7 @@
-
-
-
+
@@ -130,9 +239,16 @@
-
+
+
+
+
+
+
+
-
+
+
{
,
@@ -144,24 +260,34 @@
+
+
+
-
-
-
+
-
+
+
+
+ lim
+
+
+
lim
-
+
+
- ®
+
+
+
@@ -182,17 +308,27 @@
-
-
-
-
- d
- /
-
- d
-
-
-
+
+
+
+
+ d
+ /
+
+ d
+
+
+
+
+
+ d
+ /
+
+ d
+
+
+
+
@@ -261,9 +397,7 @@
-
-
-
+
@@ -279,9 +413,16 @@
-
+
+
+
+
+
+
+
-
+
+
{
@@ -304,8 +445,8 @@
-
+
@@ -326,10 +467,3 @@
-
-
-
-
-
-
-