X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent_to_html.xsl;h=5a48cc1ea49933cc3b3d492a119822d5c07f8353;hb=3f40909b16020098d481eb0c8814c56e26865bf1;hp=9708f3cd7291c7e9fa1ac4c21daa23fba4c47034;hpb=1996440b67ed8e2cfa8490cfb07548ecea5962bd;p=helm.git
diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index 9708f3cd7..5a48cc1ea 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -33,6 +33,7 @@
+
@@ -60,7 +61,9 @@
-
+
+
+
<xsl:value-of select="$CICURI"/>
@@ -72,6 +75,15 @@
+
+
+
+
+
+
+
+
+
@@ -285,7 +297,132 @@
hence
-
+
+
+
+ [
+
+
+
+ ¬
+
+
+
+ ]
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ (
+
+ )
+
+
+
+
+
+
+
+
+
+
+
+ (
+
+ )
+
+
+
+
+
+
+
+ ®
+
+
+
+ b
+
+
+
+
+
+
+
+
+
+
+ ®
+
+
+
+ b*
+
+
+
+
+
+
+
+
+
+
+ Þ
+
+
+
+ b
+
+
+
+
+
+
+
+
+
+
+ Þ
+
+
+
+ b*
+
+
+
+
+
+
+
+
+ |
+
+ |
+
+
+
+
+
+
+
+
+
+ @
+
+
+
+
+
[
@@ -596,6 +733,23 @@
+
+ let
+
+ :=
+
+
+
+
+
+
+
+ in
+
+
+
+
+
@@ -1049,6 +1203,133 @@
+
+
+
+
+
+ [
+
+
+
+ ¬
+
+
+
+ ]
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ (
+
+ )
+
+
+
+
+
+
+
+
+
+
+
+ (
+
+ )
+
+
+
+
+
+
+
+ ®
+
+
+
+ b
+
+
+
+
+
+
+
+
+
+
+ ®
+
+
+
+ b*
+
+
+
+
+
+
+
+
+
+
+ Þ
+
+
+
+ b
+
+
+
+
+
+
+
+
+
+
+ Þ
+
+
+
+ b*
+
+
+
+
+
+
+
+
+ |
+
+ |
+
+
+
+
+
+
+
+
+
+ @
+
+
+
+