update in delayed_updating

[helm.git] / matita / matita / contribs / lambdadelta / ground / relocation / pr_coafter_isi.ma

diff --git a/matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_isi.ma b/matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_isi.ma
index 7bed357e17e61ce35f9389c90529947a9542d821..5ed452f2b2a7231ffd123158406bae3dfe608ea9 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_isi.ma
+++ b/matita/matita/contribs/lambdadelta/ground/relocation/pr_coafter_isi.ma
@@ -41,7 +41,7 @@ qed.
 
 (*** coafter_isid_inv_sn *)
 lemma pr_coafter_isi_inv_sn:
-      â\88\80f1,f2,f. f1 ~â\8a\9a f2 â\89\98 f â\86\92 ð\9d\90\88â\9d¨f1â\9d© â\86\92 f2 â\89¡ f.
+      â\88\80f1,f2,f. f1 ~â\8a\9a f2 â\89\98 f â\86\92 ð\9d\90\88â\9d¨f1â\9d© â\86\92 f2 â\89\90 f.
 /3 width=6 by pr_coafter_isi_sn, pr_coafter_mono/ qed-.
 
 (*** coafter_isid_inv_dx *)