<!-- For details, see the HELM World-Wide-Web page, -->
<!-- http://cs.unibo.it/helm/. -->
-<xsl:stylesheet version="0.1"
+<xsl:stylesheet version="1.0"
xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"