X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fxslt%2Flddl_term.xsl;h=b11a02b64d6e57993af209230db18610c76e466d;hb=de392360825733c1c865d748f7711f34bfc027f3;hp=4e0c488b5436be3cf13502d4c843bcb3030c4f5d;hpb=ae47e671a2e5b1c6498e62e0fd8703cea7ba53b2;p=helm.git

diff --git a/helm/www/lambda_delta/xslt/lddl_term.xsl b/helm/www/lambda_delta/xslt/lddl_term.xsl
index 4e0c488b5..b11a02b64 100644
--- a/helm/www/lambda_delta/xslt/lddl_term.xsl
+++ b/helm/www/lambda_delta/xslt/lddl_term.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"
 >
 
@@ -23,25 +24,25 @@
    </span>
 </xsl:template>
 
-<xsl:template match="Sort">
+<xsl:template match="ld:Sort">
    <span class="sort">
       <xsl:call-template name="position"/>
    </span>
 </xsl:template>
 
-<xsl:template match="LRef">
+<xsl:template match="ld:LRef">
    <span class="lref">
       <xsl:call-template name="position"/>
    </span>
 </xsl:template>
 
-<xsl:template match="GRef">
+<xsl:template match="ld:GRef">
    <span class="gref">
       <xsl:call-template name="uri"/>
    </span>
 </xsl:template>
 
-<xsl:template match="Cast">
+<xsl:template match="ld:Cast">
    <span class="cast">
       <xsl:call-template name="oa"/>
       <xsl:apply-templates/>
@@ -50,7 +51,7 @@
    <xsl:call-template name="separator"/>
 </xsl:template>
 
-<xsl:template match="Appl">
+<xsl:template match="ld:Appl">
    <span class="appl">
       <xsl:call-template name="op"/>
       <xsl:call-template name="mk_terms"/>
@@ -59,7 +60,7 @@
    <xsl:call-template name="separator"/>
 </xsl:template>
 
-<xsl:template match="Abst">
+<xsl:template match="ld:Abst">
    <span class="local">
       <xsl:call-template name="lambda"/>
       <xsl:call-template name="mk_binder">
@@ -71,7 +72,7 @@
    <xsl:call-template name="separator"/>
 </xsl:template>
 
-<xsl:template match="Abbr">
+<xsl:template match="ld:Abbr">
    <span class="local">
       <xsl:call-template name="delta"/>
       <xsl:call-template name="mk_binder">
@@ -83,7 +84,7 @@
    <xsl:call-template name="separator"/>
 </xsl:template>
 
-<xsl:template match="Void">
+<xsl:template match="ld:Void">
    <span class="local">
       <xsl:call-template name="chi"/>
       <xsl:call-template name="ob"/>