X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent_to_html.xsl;h=fdf9b7829e3a5970d623ea95ca4f12ed23476849;hb=4668559563eede2f325545a100ff82b774085ed0;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..fdf9b7829 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -33,6 +33,8 @@
+
+
@@ -59,8 +61,108 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ???
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ???
+
+
+
+
+
+
+
+
+
+
-
+
+
+
@@ -72,6 +174,15 @@
+
+
+
+
+
+
+
+
+
@@ -140,7 +251,11 @@
- "
+
+
+
+
+
:
@@ -148,7 +263,11 @@
- Õ
+
+
+
+
+
:
@@ -159,9 +278,11 @@
(
-
- ®
-
+
+
+
+
+
)
@@ -200,16 +321,21 @@
CASE
OF
-
+
+
|
-
- Þ
+
+
+
+
+
+
+ select="./*[1]"/>
@@ -285,7 +411,158 @@
hence
-
+
+
+
+ [
+
+
+
+
+
+
+
+
+
+ ]
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ (
+
+ )
+
+
+
+
+
+
+
+
+
+
+
+
+
+ (
+
+ )
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ *
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ *
+
+
+
+
+
+
+
+ |
+
+ |
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
[
@@ -297,7 +574,11 @@
- l
+
+
+
+
+
:
@@ -326,7 +607,11 @@
- "
+
+
+
+
+
:
@@ -351,7 +636,11 @@
- Õ
+
+
+
+
+
:
@@ -384,9 +673,11 @@
-
- ®
-
+
+
+
+
+
@@ -467,15 +758,19 @@
>
+
+
+
CASE
OF
-
+
+
-
+
@@ -485,11 +780,34 @@
|
-
- Þ
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -574,6 +892,23 @@
+
+ let
+
+ :=
+
+
+
+
+
+
+
+ in
+
+
+
+
+
@@ -643,13 +978,13 @@
-
+
-
+
-
+
@@ -667,7 +1002,7 @@
-
+
with
@@ -676,12 +1011,12 @@
-
+
by
-
+
@@ -795,46 +1130,6 @@
-
-
- By induction on
- :
-
-
-
-
- 0
- Þ
-
-
-
-
-
-
-
- S(
-
- )
- Þ
- Assume by induction
-
-
-
-
- (
-
- )
-
-
-
-
-
-
-
-
-
-
-
@@ -972,7 +1267,7 @@
- *
+ Left:
@@ -980,7 +1275,7 @@
- *
+ Right:
@@ -1027,6 +1322,159 @@
+
+
+
+
+
+ [
+
+
+
+
+
+
+
+
+
+ ]
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ (
+
+ )
+
+
+
+
+
+
+
+
+
+
+
+
+
+ (
+
+ )
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ *
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ *
+
+
+
+
+
+
+
+ |
+
+ |
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1051,7 +1499,11 @@
- l
+
+
+
+
+
: