X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Froottheory.xsl;h=023190b0d15da5d1061fab7557b82368036ec66d;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;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 @@ - - - - -