X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmk_meta_theory.xsl;h=e433c4b26fe93825c6e3cc70c49ce79db9aac933;hb=b6c2107995066dea2b31fe9f760af3cac2d8cebc;hp=3a07962a920fade8a8d414cd0d4e4dd265bac3f1;hpb=4df1801e4b86a7ab64211b65e8072adcb7787c62;p=helm.git 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