update in ground

[helm.git] / matita / matita / contribs / lambdadelta / ground / lib / list_rcons.ma

diff --git a/matita/matita/contribs/lambdadelta/ground/lib/list_rcons.ma b/matita/matita/contribs/lambdadelta/ground/lib/list_rcons.ma
index 429a766fd1a3616bdaa18050455561d301004217..2cf2e23bf07f662e9563fc2e0dccb9274e1ff8d7 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/lib/list_rcons.ma
+++ b/matita/matita/contribs/lambdadelta/ground/lib/list_rcons.ma
@@ -24,7 +24,7 @@ interpretation
 (* Basic constructions ******************************************************)
 
 lemma list_cons_comm (A):
-      â\88\80a. a ⨮ â\92º = â\92º ⨭{A} a.
+      â\88\80a. a ⨮ â\93\94 = â\93\94 ⨭{A} a.
 // qed.
 
 lemma list_cons_shift (A):