X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld-html-entity.xsl;h=84eea2c2304e860cf29d12ed35358e53eff478b7;hb=f7988fc51f7c96617aa2b3320628645480af681a;hp=ac30dacbf2c19930f5b5caefacb43d8e4abbcb86;hpb=51beb717ea0a68ae899e73b09cb67ea90b260b27;p=helm.git

diff --git a/helm/software/lambda-delta/xml/ld-html-entity.xsl b/helm/software/lambda-delta/xml/ld-html-entity.xsl
index ac30dacbf..84eea2c23 100644
--- a/helm/software/lambda-delta/xml/ld-html-entity.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-entity.xsl
@@ -20,6 +20,7 @@
       <xsl:text>Declaration:</xsl:text>
       <xsl:call-template name="entity"/>
    </h2>
+   <xsl:call-template name="META"/>
    <div><xsl:apply-templates/></div>
 </xsl:template>
 
@@ -28,6 +29,7 @@
       <xsl:text>Definition:</xsl:text>
       <xsl:call-template name="entity"/>
    </h2>
+   <xsl:call-template name="META"/>
    <div><xsl:apply-templates/></div>
 </xsl:template>