X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fobjtheorycontent.xsl;h=62c88e078fe6d67b81fb0b8d9bcf19fb8d930dda;hb=04db412ba860d960ff486b37cc68e7f6e4f19c98;hp=826115002de1a1daadc749831c2ab6bd024aa2f0;hpb=27a8462e4a037bad438c373fcfb73411f2cc91fc;p=helm.git
diff --git a/helm/style/objtheorycontent.xsl b/helm/style/objtheorycontent.xsl
index 826115002..62c88e078 100644
--- a/helm/style/objtheorycontent.xsl
+++ b/helm/style/objtheorycontent.xsl
@@ -33,36 +33,36 @@
xmlns:m="http://www.w3.org/1998/Math/MathML"
xmlns:helm="http://www.cs.unibo.it/helm">
-
-
-getxml?uri=
-
+
+
+getxml?uri=
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
-
-
-