X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent_to_html.xsl;h=4b51eb320c86729ac0d468e62836a916ac872db7;hb=c62bd86699593741dae2221e8c0699296738d1c2;hp=ba3ec1d002d111a5aa5ddbf51c5347162e391647;hpb=8594a189d62bb4056fdba59a8ed042d9c45f1051;p=helm.git
diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index ba3ec1d00..4b51eb320 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -33,6 +33,8 @@
+
+
@@ -59,8 +61,60 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
+
+
@@ -72,6 +126,15 @@
+
+
+
+
+
+
+
+
+
@@ -140,7 +203,11 @@
- "
+
+
+
+
+
:
@@ -148,7 +215,11 @@
- Õ
+
+
+
+
+
:
@@ -159,9 +230,11 @@
(
-
- ®
-
+
+
+
+
+
)
@@ -285,7 +358,132 @@
hence
-
+
+
+
+ [
+
+
+
+ ¬
+
+
+
+ ]
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ (
+
+ )
+
+
+
+
+
+
+
+
+
+
+
+ (
+
+ )
+
+
+
+
+
+
+
+ ®
+
+
+
+ b
+
+
+
+
+
+
+
+
+
+
+ ®
+
+
+
+ b*
+
+
+
+
+
+
+
+
+
+
+ Þ
+
+
+
+ b
+
+
+
+
+
+
+
+
+
+
+ Þ
+
+
+
+ b*
+
+
+
+
+
+
+
+
+ |
+
+ |
+
+
+
+
+
+
+
+
+
+ @
+
+
+
+
+
[
@@ -297,7 +495,11 @@
- l
+
+
+
+
+
:
@@ -326,7 +528,11 @@
- "
+
+
+
+
+
:
@@ -351,7 +557,11 @@
- Õ
+
+
+
+
+
:
@@ -384,9 +594,11 @@
-
- ®
-
+
+
+
+
+
@@ -467,6 +679,9 @@
>
+
+
+
CASE
@@ -475,7 +690,7 @@
-
+
@@ -487,9 +702,28 @@
Þ
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -574,6 +808,23 @@
+
+ let
+
+ :=
+
+
+
+
+
+
+
+ in
+
+
+
+
+
@@ -643,13 +894,13 @@
-
+
-
+
-
+
@@ -667,7 +918,7 @@
-
+
with
@@ -676,12 +927,12 @@
-
+
by
-
+
@@ -1027,6 +1278,133 @@
+
+
+
+
+
+ [
+
+
+
+ ¬
+
+
+
+ ]
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ (
+
+ )
+
+
+
+
+
+
+
+
+
+
+
+ (
+
+ )
+
+
+
+
+
+
+
+ ®
+
+
+
+ b
+
+
+
+
+
+
+
+
+
+
+ ®
+
+
+
+ b*
+
+
+
+
+
+
+
+
+
+
+ Þ
+
+
+
+ b
+
+
+
+
+
+
+
+
+
+
+ Þ
+
+
+
+ b*
+
+
+
+
+
+
+
+
+ |
+
+ |
+
+
+
+
+
+
+
+
+
+ @
+
+
+
+
@@ -1051,7 +1429,11 @@
- l
+
+
+
+
+
: