X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_reals.xsl;h=a78f454bdc490d7b625eb6a04eccfa0553555fb9;hb=205986f235e380ed91d366621adba351c8290815;hp=15071579ab569b2d05eff9fbd1880d62be78fbaf;hpb=19681f7b0c71fbb8c9e3442c0880533731094046;p=helm.git
diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl
index 15071579a..a78f454bd 100644
--- a/helm/style/html_reals.xsl
+++ b/helm/style/html_reals.xsl
@@ -41,6 +41,9 @@
+
+
+
???
@@ -56,6 +59,9 @@
+
+
+
???
@@ -72,6 +78,58 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -202,6 +260,9 @@
+
+
+
@@ -384,8 +445,8 @@
-
+