From: Claudio Sacerdoti Coen Date: Thu, 31 Oct 2002 10:59:33 +0000 (+0000) Subject: Porting to the new metadata DTD. X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8df744ff7b8295b14a1bf369baf0711fbf11f516;p=helm.git Porting to the new metadata DTD. --- diff --git a/helm/style/mk_meta_theory.xsl b/helm/style/mk_meta_theory.xsl index 3a07962a9..e433c4b26 100644 --- a/helm/style/mk_meta_theory.xsl +++ b/helm/style/mk_meta_theory.xsl @@ -28,25 +28,19 @@ 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#" - xmlns:h="http:/www.cs.unibo.it/helm/schemas/schema-h.rdf#"> - - - - - - + xmlns:h="http://www.cs.unibo.it/helm/schemas/mattone.rdf#"> - Occurrences of <xsl:value-of select="*/*/@rdf:value"/> + Occurrences of <xsl:value-of select="*/*/@rdf:about"/> - + @@ -55,15 +49,15 @@ + select="count(*/h:Occurrence/h:position[text()='MainConclusion'])"/> + select="count(*/h:Occurrence/h:position[text()='InConclusion'])"/> + select="count(*/h:Occurrence/h:position[text()='MainHypothesis'])"/> + select="count(*/h:Occurrence/h:position[text()='InHypothesis'])"/> + select="count(*/h:Occurrence/h:position[text()='InBody'])"/>

Occurrences of