X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fmmlextension.xsl;h=a22dc0dd332d56fcc2c4fcf3ee480792d3017c03;hb=4e8b137b58ec6763785b8ee490ee8cd6cb77b5bf;hp=24c4bdbe50a2883e2ceaf2ea33f698f37bff29a8;hpb=138e51f3dc9bd6a42b84e45f9bf2c681cd411393;p=helm.git
diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index 24c4bdbe5..a22dc0dd3 100644
--- a/helm/style/mmlextension.xsl
+++ b/helm/style/mmlextension.xsl
@@ -1098,6 +1098,49 @@
+
+
+
+
+
+
+
+
+
+
+ Consider
+
+
+
+
+
+
+
+
+ Let
+ _
+
+ :
+
+ _
+ such that
+ _
+ (
+
+ )
+ _
+
+
+
+
+
+
+
+
+
+
+
+
ERROR
@@ -1223,9 +1266,7 @@
__
-
- =
-
+ =