<!-- First draft: May 08 2000, Claudio Sacerdoti Coen, Irene Schena -->
<!--***********************************************************************-->
-<xsl:stylesheet version="0.1" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+<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">