X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fhtml_reals.xsl;h=3403b9dcb8c537e752d448116b87d3b35cd92142;hb=fb158d51c621e55962a6139d03cd1678cfb2e8f1;hp=2b4ca35e5a742f1209f2f58ef128d7e8e99046ab;hpb=f5a06d5c51c59dcfe432a3b4236f0a4189f031f6;p=helm.git
diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl
index 2b4ca35e5..3403b9dcb 100644
--- a/helm/style/html_reals.xsl
+++ b/helm/style/html_reals.xsl
@@ -43,11 +43,8 @@
-
-
-
-
- lim
+
+ lim
@@ -63,16 +60,13 @@
-
-
-
-
- d
+
+ d
/
-
- d
-
-
+
+ d
+
+
@@ -136,10 +130,7 @@
-
-
-
-
+
{
@@ -165,11 +156,8 @@
-
-
-
-
- lim
+
+ lim
@@ -197,16 +185,13 @@
-
-
-
-
- d
+
+ d
/
-
- d
-
-
+
+ d
+
+
@@ -294,11 +279,8 @@
-
-
-
-
-
+
+
{