X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Ftheory_content.xsl;h=4a7b4adc3f8fb9bf6778baa9424dbdace3e681ab;hb=fb158d51c621e55962a6139d03cd1678cfb2e8f1;hp=6ae6ee7c90d4675f6dc3237ef1b87d3aba551f72;hpb=ed5997c069d632999f6e970857cfa74c99f9c050;p=helm.git
diff --git a/helm/style/theory_content.xsl b/helm/style/theory_content.xsl
index 6ae6ee7c9..4a7b4adc3 100644
--- a/helm/style/theory_content.xsl
+++ b/helm/style/theory_content.xsl
@@ -35,9 +35,9 @@
-
+
@@ -51,10 +51,14 @@
-
+
-
+
+
+
+