X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Fcontent_to_html.xsl;h=fdf9b7829e3a5970d623ea95ca4f12ed23476849;hb=4668559563eede2f325545a100ff82b774085ed0;hp=4b51eb320c86729ac0d468e62836a916ac872db7;hpb=c62bd86699593741dae2221e8c0699296738d1c2;p=helm.git
diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index 4b51eb320..fdf9b7829 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -81,9 +81,33 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ???
+
-
+
@@ -102,6 +126,30 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ???
+
@@ -273,16 +321,21 @@
CASE
OF
-
+
+
|
-
- Þ
+
+
+
+
+
+
+ select="./*[1]"/>
@@ -364,9 +417,11 @@
[
-
- ¬
-
+
+
+
+
+
]
@@ -377,9 +432,11 @@
-
-
-
+
+
+
+
+
@@ -391,9 +448,11 @@
-
-
-
+
+
+
+
+
@@ -407,13 +466,17 @@
-
- ®
-
+
+
+
+
+
-
- b
-
+
+
+
+
+
@@ -422,13 +485,18 @@
-
- ®
-
+
+
+
+
+
-
- b*
-
+
+
+
+
+
+ *
@@ -437,13 +505,17 @@
-
- Þ
-
+
+
+
+
+
-
- b
-
+
+
+
+
+
@@ -452,13 +524,18 @@
-
- Þ
-
+
+
+
+
+
-
- b*
-
+
+
+
+
+
+ *
@@ -477,9 +554,11 @@
-
- @
-
+
+
+
+
+
@@ -597,7 +676,7 @@
-
+
@@ -687,7 +766,8 @@
OF
-
+
+
@@ -700,11 +780,15 @@
|
-
- Þ
+
+
+
+
+
+
-
+
@@ -713,14 +797,14 @@
-
+
-
@@ -1046,46 +1130,6 @@
-
-
- By induction on
- :
-
-
-
-
- 0
- Þ
-
-
-
-
-
-
-
- S(
-
- )
- Þ
- Assume by induction
-
-
-
-
- (
-
- )
-
-
-
-
-
-
-
-
-
-
-
@@ -1223,7 +1267,7 @@
- *
+ Left:
@@ -1231,7 +1275,7 @@
- *
+ Right:
@@ -1286,9 +1330,11 @@
[
-
- ¬
-
+
+
+
+
+
]
@@ -1299,9 +1345,11 @@
-
-
-
+
+
+
+
+
@@ -1313,9 +1361,11 @@
-
-
-
+
+
+
+
+
@@ -1329,13 +1379,17 @@
-
- ®
-
+
+
+
+
+
-
- b
-
+
+
+
+
+
@@ -1344,13 +1398,18 @@
-
- ®
-
+
+
+
+
+
-
- b*
-
+
+
+
+
+
+ *
@@ -1359,13 +1418,17 @@
-
- Þ
-
+
+
+
+
+
-
- b
-
+
+
+
+
+
@@ -1374,13 +1437,18 @@
-
- Þ
-
+
+
+
+
+
-
- b*
-
+
+
+
+
+
+ *
@@ -1399,9 +1467,11 @@
-
- @
-
+
+
+
+
+