X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Fhtml_reals.xsl;h=a78f454bdc490d7b625eb6a04eccfa0553555fb9;hb=77994a44a78f2a0a510296bdc2ec8c9cf882b222;hp=9d49b1305edfa2287b4d9fdacf1b7515b4e29573;hpb=a6e7b3d67704039e6e6bd45beedfa4f7e170a593;p=helm.git
diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl
index 9d49b1305..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 @@
-
+