X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmk_meta_theory.xsl;h=e433c4b26fe93825c6e3cc70c49ce79db9aac933;hb=2208a75027ccad441dc0778101f57eff9555f8ea;hp=c1bb71d593c36794f331a593e9b9a0967aebb57f;hpb=e0ba4db215de5bfdf1cc42e0cc1c64b04b73833d;p=helm.git diff --git a/helm/style/mk_meta_theory.xsl b/helm/style/mk_meta_theory.xsl index c1bb71d59..e433c4b26 100644 --- a/helm/style/mk_meta_theory.xsl +++ b/helm/style/mk_meta_theory.xsl @@ -24,29 +24,23 @@ - - - - - - - + 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