]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/theory_content.xsl
Modified Files:
[helm.git] / helm / style / theory_content.xsl
index da4232a23f9960dad53b728610fcc93ea099476d..3129ca5dd19ecc5332e4fd5adab6a427dd713e55 100644 (file)
@@ -79,3 +79,8 @@
 </xsl:template>
 
 </xsl:stylesheet>
+
+
+
+
+