update in ground, static_2 and apps_2

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

diff --git a/matita/matita/contribs/lambdadelta/ground/relocation/pr_sor_isi.ma b/matita/matita/contribs/lambdadelta/ground/relocation/pr_sor_isi.ma
index bc307df7e0994735dbe7b5f4bc04fd454e3ce226..98eaf1ed11ab870aada67397a51d37b3c4be27b9 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/relocation/pr_sor_isi.ma
+++ b/matita/matita/contribs/lambdadelta/ground/relocation/pr_sor_isi.ma
@@ -66,13 +66,13 @@ qed-.
 
 (*** sor_isid_inv_sn *)
 lemma pr_sor_inv_isi_sn:
-      â\88\80f1,f2,f. f1 â\8b\93 f2 â\89\98 f â\86\92 ð\9d\90\88â\9d¨f1â\9d© â\86\92 f2 â\89¡ f.
+      â\88\80f1,f2,f. f1 â\8b\93 f2 â\89\98 f â\86\92 ð\9d\90\88â\9d¨f1â\9d© â\86\92 f2 â\89\90 f.
 /3 width=4 by pr_sor_isi_sn, pr_sor_mono/
 qed-.
 
 (*** sor_isid_inv_dx *)
 lemma pr_sor_inv_isi_dx:
-      â\88\80f1,f2,f. f1 â\8b\93 f2 â\89\98 f â\86\92 ð\9d\90\88â\9d¨f2â\9d© â\86\92 f1 â\89¡ f.
+      â\88\80f1,f2,f. f1 â\8b\93 f2 â\89\98 f â\86\92 ð\9d\90\88â\9d¨f2â\9d© â\86\92 f1 â\89\90 f.
 /3 width=4 by pr_sor_isi_dx, pr_sor_mono/
 qed-.