X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fhtml_reals.xsl;h=9d49b1305edfa2287b4d9fdacf1b7515b4e29573;hb=a6e7b3d67704039e6e6bd45beedfa4f7e170a593;hp=2b4ca35e5a742f1209f2f58ef128d7e8e99046ab;hpb=f5a06d5c51c59dcfe432a3b4236f0a4189f031f6;p=helm.git
diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl
index 2b4ca35e5..9d49b1305 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 @@
-
-
-
-
-
+
+
{
@@ -344,10 +326,3 @@
-
-
-
-
-
-
-