<?xml version="1.0" encoding="UTF-8"?>
+<!--
+ ||M|| This file is part of HELM, an Hypertextual, Electronic
+ ||A|| Library of Mathematics, developed at the Computer Science
+ ||T|| Department, University of Bologna, Italy.
+ ||I||
+ ||T|| HELM is free software; you can redistribute it and/or
+ ||A|| modify it under the terms of the GNU General Public License
+ \ / version 2 or (at your option) any later version.
+ \ / This software is distributed as is, NO WARRANTY.
+ V_______________________________________________________________ -->
+
<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
-<xsl:strip-space elements="ENTRY"/>
+<xsl:strip-space elements="ENTITY"/>
+
<xsl:template match="/">
<html><head>
<meta content="Ferruccio Guidi" name="author"/>
<h1 style="text-align: center;">
<a href="http://helm.cs.unibo.it/lambda-delta/">
<img style="border: 0px solid; width: 32px; height: 32px;"
- alt="[lambda-delta-home]"
+ alt="[lambda-delta home]"
title="lambda-delta home"
src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
/></a>
</body></html>
</xsl:template>
-<xsl:template match="ENTRY">
+<xsl:template match="ENTITY">
<xsl:apply-templates/><h2/>
<div>
Validation parameters: