X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmmlextension.xsl;h=0d23a1837ce3803999615b9cc12d8571b9af275f;hb=d7f8a683aebae3ec4932296659185f97b5882c23;hp=698e8fce5f9a427cd5d22033960e8370e32447e6;hpb=aa12f8cd84908fb3757a582cadd36ef49e269a2b;p=helm.git
diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index 698e8fce5..0d23a1837 100644
--- a/helm/style/mmlextension.xsl
+++ b/helm/style/mmlextension.xsl
@@ -1,5 +1,29 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -295,6 +319,23 @@
+
+
+
+
+ AS
+
+
+
+
+
+
+ __
+
+
+
+
+
@@ -355,7 +396,7 @@
-
+
@@ -370,7 +411,7 @@
-
+
:
@@ -379,13 +420,56 @@
+
+
+
+
+
+
+ LET
+ _
+
+
+
+
+
+
+ =
+
+
+
+
+
+
+
+ IN
+ _
+
+
+
+
+
+
+
+ LET
+ _
+
+ =
+
+ _
+ IN
+ _
+
+
+
+
- Π
+ Π
@@ -400,7 +484,7 @@
- Π
+ Π
:
@@ -424,7 +508,7 @@
- →
+ →
@@ -441,7 +525,7 @@
(
- →
+ →
)
@@ -504,7 +588,7 @@
- :>
+ :>
@@ -521,7 +605,7 @@
(
- :>
+ :>
)
@@ -590,7 +674,7 @@
_
- ⇒
+ ⇒
@@ -601,7 +685,7 @@
|_
- ⇒
+ ⇒
@@ -631,7 +715,7 @@
- ⇒
+ ⇒
_
@@ -832,7 +916,7 @@
- we proved
+ we proved
_
@@ -1045,7 +1129,7 @@
- we get
+ we get
_
@@ -1063,7 +1147,7 @@
- we get
+ we get
_
@@ -1085,7 +1169,7 @@
- λ
+ λ
@@ -1100,7 +1184,7 @@
- λ
+ λ
:
@@ -1417,3 +1501,4 @@
+