X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fmk_meta_theory.xsl;h=70852ca9800f0c93f4f01e9d6f2e9a0f2844eec6;hb=cb4cff70efbc276b6fc8780bf6f85457d2293c99;hp=bdae203af7837ef0c9827c468c1bc3b0a1cb1ffb;hpb=284a64d14be59e3e98c8c8b804ece722eaea3a85;p=helm.git diff --git a/helm/style/mk_meta_theory.xsl b/helm/style/mk_meta_theory.xsl index bdae203af..70852ca98 100644 --- a/helm/style/mk_meta_theory.xsl +++ b/helm/style/mk_meta_theory.xsl @@ -24,29 +24,43 @@ - - - - - + + + + + + + - - + + Occurrences of <xsl:value-of select="*/*/@rdf:value"/> + + + + - - - - - - -

Occurrences of

+ + + + + + +

Occurrences of