X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fobjtheorycontent.xsl;h=5bad7e108109156abaa78a05e02ae0268902249e;hb=9d35b4005007408a49a76864302f03db8aa7789a;hp=7d890d61144fb193247170a1f9ba02aad9f2c8ca;hpb=0b1e5fb100fe57fb53f98038570b1fae191d331d;p=helm.git
diff --git a/helm/style/objtheorycontent.xsl b/helm/style/objtheorycontent.xsl
index 7d890d611..5bad7e108 100644
--- a/helm/style/objtheorycontent.xsl
+++ b/helm/style/objtheorycontent.xsl
@@ -43,42 +43,42 @@
-
-
+
+
-
+
-
+
+
+
-
-
-
+
-
+
-
+
-
+
-
+