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=72d6dab7d60f1e57360141a069690220c219e317;hpb=b564f0671c133928e372e352d972a7663b6a9136;p=helm.git
diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl
index 72d6dab7d..9d49b1305 100644
--- a/helm/style/html_reals.xsl
+++ b/helm/style/html_reals.xsl
@@ -43,13 +43,8 @@
-
-
-
-
-
-
- lim
+
+ lim
@@ -65,18 +60,13 @@
-
-
-
-
-
-
- d
+
+ d
/
-
- d
-
-
+
+ d
+
+
@@ -140,12 +130,7 @@
-
-
-
-
-
-
+
{
@@ -171,13 +156,8 @@
-
-
-
-
-
-
- lim
+
+ lim
@@ -205,18 +185,13 @@
-
-
-
-
-
-
- d
+
+ d
/
-
- d
-
-
+
+ d
+
+
@@ -304,13 +279,8 @@
-
-
-
-
-
-
-
+
+
{
@@ -356,10 +326,3 @@
-
-
-
-
-
-
-