X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Ftheory_content.xsl;h=d6ccafb4fa9f01123fe3a63e0354d4ede3951b81;hb=5868bef6637af919fbb48a83c24268bb85bdef6a;hp=838324c08c76716d074e439f50f1a6f131026fbe;hpb=ce56bfc29034be5add28ef28007f2598d9030ad2;p=helm.git
diff --git a/helm/style/theory_content.xsl b/helm/style/theory_content.xsl
index 838324c08..d6ccafb4f 100644
--- a/helm/style/theory_content.xsl
+++ b/helm/style/theory_content.xsl
@@ -62,8 +62,16 @@
-
-
+
+
+
+
+
+
+
+
+
+