X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fxslt%2Flddl_entity.xsl;h=f9fca428f940ae84bc0fab52f4d174ef80fc5cad;hb=bca27d3594ce368ee5afb6bc6300a6254c4b45d9;hp=676d37722f9fbbd426abf6a26b4ef51b12e73fe9;hpb=ae47e671a2e5b1c6498e62e0fd8703cea7ba53b2;p=helm.git

diff --git a/helm/www/lambda_delta/xslt/lddl_entity.xsl b/helm/www/lambda_delta/xslt/lddl_entity.xsl
index 676d37722..f9fca428f 100644
--- a/helm/www/lambda_delta/xslt/lddl_entity.xsl
+++ b/helm/www/lambda_delta/xslt/lddl_entity.xsl
@@ -12,6 +12,7 @@
       V_______________________________________________________________ -->
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                              xmlns:ld="http://lambda-delta.info"
                               xmlns="http://www.w3.org/1999/xhtml"
 >
 
@@ -46,13 +47,13 @@
    </div>
 </xsl:template>
 
-<xsl:template match="ABST">
+<xsl:template match="ld:ABST">
    <xsl:call-template name="ENTITY">
       <xsl:with-param name="kind">Declaration</xsl:with-param>
    </xsl:call-template>
 </xsl:template>
 
-<xsl:template match="ABBR">
+<xsl:template match="ld:ABBR">
    <xsl:call-template name="ENTITY">
       <xsl:with-param name="kind">Definition</xsl:with-param>
    </xsl:call-template>