X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fobjtheorycontent.xsl;h=a4937460a1f48aadc42a41e6e5511fd1c53d8ee7;hb=d891eccad8306283c5b1e6c1e9a8c56b2ebd5309;hp=3931e7532c428ade70c055b1e0a79e12f449d854;hpb=c60f8d1e3951c3efbfed0383a536dd3a1c5a9d9b;p=helm.git
diff --git a/helm/style/objtheorycontent.xsl b/helm/style/objtheorycontent.xsl
index 3931e7532..a4937460a 100644
--- a/helm/style/objtheorycontent.xsl
+++ b/helm/style/objtheorycontent.xsl
@@ -33,38 +33,37 @@
xmlns:m="http://www.w3.org/1998/Math/MathML"
xmlns:helm="http://www.cs.unibo.it/helm">
-
-
-getxml?uri=
+
+
+
-
-
-
-
+
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
-
-
-