<xsl:text>Declaration:</xsl:text>
<xsl:call-template name="entity"/>
</h2>
+ <xsl:call-template name="META"/>
<div><xsl:apply-templates/></div>
</xsl:template>
<xsl:text>Definition:</xsl:text>
<xsl:call-template name="entity"/>
</h2>
+ <xsl:call-template name="META"/>
<div><xsl:apply-templates/></div>
</xsl:template>
href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
/>
</head><body>
- <div style="text-align: center;"><br>
- <a href="http://helm.cs.unibo.it/lambda-delta/">
+ <div style="text-align: center;"><h2/>
+ <a href="http://helm.cs.unibo.it/lambda-delta/">
<img style="border: 0px solid; width: 32px; height: 32px;"
- alt="[lambda-delta home]"
- title="lambda-delta home"
+ alt="[lambda-delta home]" title="lambda-delta home"
src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
/></a>
- </div>
- <xsl:apply-templates/><h2/>
- <div style="text-align: center;">
+ <h1>λδ Digital Library (LDDL)</h1>
+ <img style="width: 95%; height: 4px;"
+ alt="[Separator]" title="Separator"
+ src="http://helm.cs.unibo.it/lambda-delta/download/rainbow.png"
+ />
+ <table border="0" cellpadding="0" cellspacing="0"
+ style="text-align: left; width: 95%;
+ margin-left: auto; margin-right: auto;"
+ ><tbody><tr><td style="vertical-align: top;">
+ <xsl:apply-templates/>
+ </td></tr></tbody></table><h2/>
<a href="http://validator.w3.org/check?uri=referer">
<img alt="[Valid HTML 4.01 Transitional]"
title="Valid HTML 4.01 Transitional"
title="PNG used here"
src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
/>
- </div>
+ <h2/></div>
</body></html>
</xsl:template>