X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fobjtheorycontent.xsl;h=5bad7e108109156abaa78a05e02ae0268902249e;hb=0c62b48dd8d961279e780f6fbc2a915d18b77b92;hp=62c88e078fe6d67b81fb0b8d9bcf19fb8d930dda;hpb=23ff539f5abbe9082ae4f3df3c6178bee94accd8;p=helm.git
diff --git a/helm/style/objtheorycontent.xsl b/helm/style/objtheorycontent.xsl
index 62c88e078..5bad7e108 100644
--- a/helm/style/objtheorycontent.xsl
+++ b/helm/style/objtheorycontent.xsl
@@ -35,49 +35,50 @@
+
-getxml?uri=
+
-
-
+
+
-
+
-
+
+
+
-
-
-
+
-
+
-
+
-
+
-
+