X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_init.xsl;h=91d978f5c5202d177d4ff20e494892fb54a455c0;hb=000ee25879c192864cfaa0ebc27cc91a896378df;hp=46fc61b249fa71842a62649809165a69ed6896c4;hpb=9615625bcabfb81bda129ee14c3bf396ba761416;p=helm.git

diff --git a/helm/style/html_init.xsl b/helm/style/html_init.xsl
index 46fc61b24..91d978f5c 100644
--- a/helm/style/html_init.xsl
+++ b/helm/style/html_init.xsl
@@ -481,8 +481,6 @@
  </xsl:template>
 
 
-
-
 <!-- COUNTING -->
 
 <xsl:template match="m:cn|m:and|m:or|m:not|m:exists|m:eq|m:neq