X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_reals.xsl;h=a78f454bdc490d7b625eb6a04eccfa0553555fb9;hb=205986f235e380ed91d366621adba351c8290815;hp=72d6dab7d60f1e57360141a069690220c219e317;hpb=b564f0671c133928e372e352d972a7663b6a9136;p=helm.git
diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl
index 72d6dab7d..a78f454bd 100644
--- a/helm/style/html_reals.xsl
+++ b/helm/style/html_reals.xsl
@@ -32,28 +32,124 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ???
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ???
+
+
+
+
+
+
+
+
+
+
-
+
-
-
+
-
+
-
-
-
-
+
+
+
+
+
+
-
- lim
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ lim
+
+
+
+ lim
+
+
- ®
+
+
+
@@ -62,22 +158,27 @@
-
-
-
-
-
-
-
-
-
- d
- /
-
- d
-
-
-
+
+
+
+
+ d
+ /
+
+ d
+
+
+
+
+
+ d
+ /
+
+ d
+
+
+
+
@@ -127,9 +228,7 @@
-
-
-
+
@@ -140,14 +239,16 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
-
+
+
{
,
@@ -159,29 +260,34 @@
+
+
+
-
-
-
+
-
-
-
-
-
-
- lim
-
+
+
+
+ lim
+
+
+
+ lim
+
+
- ®
+
+
+
@@ -202,22 +308,27 @@
-
-
-
-
-
-
-
-
-
- d
- /
-
- d
-
-
-
+
+
+
+
+ d
+ /
+
+ d
+
+
+
+
+
+ d
+ /
+
+ d
+
+
+
+
@@ -286,9 +397,7 @@
-
-
-
+
@@ -304,14 +413,16 @@
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
{
@@ -334,8 +445,8 @@
-
+
@@ -356,10 +467,3 @@
-
-
-
-
-
-
-