X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmk_meta_theory.xsl;h=e433c4b26fe93825c6e3cc70c49ce79db9aac933;hb=edeecdcf2cb51318a7d4c608652f4f988e80f66f;hp=70852ca9800f0c93f4f01e9d6f2e9a0f2844eec6;hpb=748f31086e027090a90f2742fe62e3bf98e624ab;p=helm.git diff --git a/helm/style/mk_meta_theory.xsl b/helm/style/mk_meta_theory.xsl index 70852ca98..e433c4b26 100644 --- a/helm/style/mk_meta_theory.xsl +++ b/helm/style/mk_meta_theory.xsl @@ -24,25 +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"/> + - +

@@ -51,36 +49,36 @@ + 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'])"/>