X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Ftheory_content.xsl;h=d6ccafb4fa9f01123fe3a63e0354d4ede3951b81;hb=e056db635d42bf61eeccbba580c6a0e3a78c3f01;hp=4eae86957e66b3c80d60252e036b182e83215375;hpb=8e45665720a12b6e6d271fe61364c99e463727b2;p=helm.git
diff --git a/helm/style/theory_content.xsl b/helm/style/theory_content.xsl
index 4eae86957..d6ccafb4f 100644
--- a/helm/style/theory_content.xsl
+++ b/helm/style/theory_content.xsl
@@ -66,6 +66,16 @@
+
+
+
+
+
+
+
+
+
+