X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fobjcontent.xsl;h=405529785fea3c6db83485369e4eb5837a11f832;hb=674691387a3d7d0055c100bfb0bc9e0dcb1dcd07;hp=b4a0e748da859eb07d2a95f493c8a8ecbabe3ce3;hpb=b57c31a1593872c181249135bc05ebd9a72f523b;p=helm.git
diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl
index b4a0e748d..405529785 100644
--- a/helm/style/objcontent.xsl
+++ b/helm/style/objcontent.xsl
@@ -52,6 +52,51 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -61,7 +106,7 @@
-
+
@@ -73,11 +118,13 @@
-
+
-
+
+
+
-
-
-
+
-
+
-
-
+
+
-
+
+
+
+
+
+
-
+
-
+
+
-
+
@@ -133,7 +184,7 @@
-
+