X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Fhtml_reals.xsl;h=15071579ab569b2d05eff9fbd1880d62be78fbaf;hb=0e25ed1f31b0dd197638e5d212f65d6055656e79;hp=9d49b1305edfa2287b4d9fdacf1b7515b4e29573;hpb=a6e7b3d67704039e6e6bd45beedfa4f7e170a593;p=helm.git
diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl
index 9d49b1305..15071579a 100644
--- a/helm/style/html_reals.xsl
+++ b/helm/style/html_reals.xsl
@@ -32,6 +32,42 @@
+
+
+
+
+
+
+
+
+
+
+ ???
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ???
+
+
+
+
+
+
+
+
+
+
@@ -40,15 +76,22 @@
-
-
-
-
+
+
+
+
+ lim
+
+
+
lim
-
+
+
- ®
+
+
+
@@ -57,17 +100,27 @@
-
-
-
-
+
+
+
+
+ d
+ /
+
+ d
+
+
+
+
+
d
- /
-
- d
-
-
-
+ /
+
+ d
+
+
+
+
@@ -117,9 +170,7 @@
-
-
-
+
@@ -130,9 +181,16 @@
-
+
+
+
+
+
+
+
-
+
+
{
,
@@ -148,20 +206,27 @@
-
-
-
+
-
+
+
+
+ lim
+
+
+
lim
-
+
+
- ®
+
+
+
@@ -182,17 +247,27 @@
-
-
-
-
- d
- /
-
- d
-
-
-
+
+
+
+
+ d
+ /
+
+ d
+
+
+
+
+
+ d
+ /
+
+ d
+
+
+
+
@@ -261,9 +336,7 @@
-
-
-
+
@@ -279,9 +352,16 @@
-
+
+
+
+
+
+
+
-
+
+
{