X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2Fls2theory.xsl;h=86eb208495c6ab7732e7202780a24f62c621edde;hb=33581c2ba6d8414968f4d3375352526ebf831a68;hp=fe7727dd468f3e0181c23e8d66b0559a135767d1;hpb=87ad71faeb3f544a3a21b2b57a589fc55543bae6;p=helm.git
diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl
index fe7727dd4..86eb20849 100644
--- a/helm/on-line/xslt/ls2theory.xsl
+++ b/helm/on-line/xslt/ls2theory.xsl
@@ -42,12 +42,9 @@
-
-
+ select="object[not(substring-after(@name,'.')='theory')]" >
+
+