X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fhtml_reals.xsl;h=15071579ab569b2d05eff9fbd1880d62be78fbaf;hb=e056db635d42bf61eeccbba580c6a0e3a78c3f01;hp=3403b9dcb8c537e752d448116b87d3b35cd92142;hpb=6b3bf7885c6e9e5faee65dd18cdc428f0d1d383b;p=helm.git
diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl
index 3403b9dcb..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 @@
-
+
+
+
+
+
+
+
-
+
+
{
@@ -326,10 +406,3 @@
-
-
-
-
-
-
-