X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent_to_html.xsl;h=856fd69718a66103a38e43811ee1b836de23fc0c;hb=f4389bc575610ab6cabcc0a034ae5a3b92739f60;hp=dc6d6d7a83c9d1ec4701164ce0999d1c47f5485b;hpb=a38dce333847f6a1eaed563f7a2260e1cfc1ff2e;p=helm.git
diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index dc6d6d7a8..856fd6971 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -346,14 +346,14 @@
CASE
OF
-
+
|
-
+
@@ -412,6 +412,10 @@
proves
+
+ which is equivalent to
+
+
@@ -928,7 +932,7 @@
OF
-
+