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
+ Occurrences of
-
+
@@ -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
@@ -92,17 +86,17 @@
-
+
-
+
-
+
-
+
@@ -111,17 +105,17 @@
-
+
-
+
-
+
-
+
@@ -130,17 +124,17 @@
-
+
-
+
-
+
-
+
@@ -149,26 +143,26 @@
-
+
-
+
-
+
-
+
-
+
-
+