]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/genmmlid.xsl
----------------------------------------------------------------------
[helm.git] / helm / style / genmmlid.xsl
index fb636046f133d4eaea7aa7cd55ef67752f9681bf..b11ff7eb98f0d2a7ee3c7a884b6f70aba9527121 100644 (file)
@@ -53,6 +53,3 @@
 </xsl:template>
 
 </xsl:stylesheet> 
-
-
-