]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/contentlib.xsl
Modified Files:
[helm.git] / helm / style / contentlib.xsl
index e923aa1c8309ba7af124a1bf8f0340d2f1154faa..65e08c683f7976c04edfd6f34490596e3a87ff41 100644 (file)
@@ -31,8 +31,7 @@
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                               xmlns:m="http://www.w3.org/1998/Math/MathML"
-                              xmlns:helm="http://www.cs.unibo.it/helm"
-                              xmlns:xlink="http://www.w3.org/1999/xlink">
+                              xmlns:helm="http://www.cs.unibo.it/helm">
 
 <xsl:template name="out-mml-op"> <!-- outputs MML nodes for operators -->
    <xsl:param name="arity"/>     <!-- operator arity                  -->