X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Froottheory.xsl;h=023190b0d15da5d1061fab7557b82368036ec66d;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=38ce32460bb3e2764152b1d77a559abdfe91c196;hpb=8e1a7e55cbc7750446f0a7ab3d071190594243fb;p=helm.git

diff --git a/helm/style/roottheory.xsl b/helm/style/roottheory.xsl
index 38ce32460..023190b0d 100644
--- a/helm/style/roottheory.xsl
+++ b/helm/style/roottheory.xsl
@@ -42,8 +42,3 @@
 <xsl:include href="theory_content.xsl"/>
 
 </xsl:stylesheet>
-
-
-
-
-