X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_reals.xsl;h=a78f454bdc490d7b625eb6a04eccfa0553555fb9;hb=0de1b960f42ac368414b7405a79e7933445ee8af;hp=2b4ca35e5a742f1209f2f58ef128d7e8e99046ab;hpb=f5a06d5c51c59dcfe432a3b4236f0a4189f031f6;p=helm.git
diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl
index 2b4ca35e5..a78f454bd 100644
--- a/helm/style/html_reals.xsl
+++ b/helm/style/html_reals.xsl
@@ -32,26 +32,124 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ???
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ???
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
- lim
-
+
+
+
+
+ lim
+
+
+
+ lim
+
+
- ®
+
+
+
@@ -60,20 +158,27 @@
-
-
-
-
-
-
-
- d
- /
-
- d
-
-
-
+
+
+
+
+ d
+ /
+
+ d
+
+
+
+
+
+ d
+ /
+
+ d
+
+
+
+
@@ -123,9 +228,7 @@
-
-
-
+
@@ -136,12 +239,16 @@
-
-
-
-
+
+
+
+
+
+
+
-
+
+
{
,
@@ -153,27 +260,34 @@
+
+
+
-
-
-
+
-
-
-
-
- lim
-
+
+
+
+ lim
+
+
+
+ lim
+
+
- ®
+
+
+
@@ -194,20 +308,27 @@
-
-
-
-
-
-
-
- d
- /
-
- d
-
-
-
+
+
+
+
+ d
+ /
+
+ d
+
+
+
+
+
+ d
+ /
+
+ d
+
+
+
+
@@ -276,9 +397,7 @@
-
-
-
+
@@ -294,12 +413,16 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
{
@@ -322,8 +445,8 @@
-
+
@@ -344,10 +467,3 @@
-
-
-
-
-
-
-