X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fxslt%2Flddl_library.xsl;h=8af7006a3647288519685d4dca01f2d248dec003;hb=5924405e7f361a8b2bf638e6a361f7f16cdc7ac2;hp=c7914ed643cda0a9e31b6e408a2757892a5f6aa2;hpb=ae47e671a2e5b1c6498e62e0fd8703cea7ba53b2;p=helm.git

diff --git a/helm/www/lambda_delta/xslt/lddl_library.xsl b/helm/www/lambda_delta/xslt/lddl_library.xsl
index c7914ed64..8af7006a3 100644
--- a/helm/www/lambda_delta/xslt/lddl_library.xsl
+++ b/helm/www/lambda_delta/xslt/lddl_library.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"
 >