X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Ftheory_content.xsl;h=d6ccafb4fa9f01123fe3a63e0354d4ede3951b81;hb=1b19b60c84b1becb403f09c17c99997afe5f81d9;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 @@
+
+
+
+
+
+
+
+
+
+