update in ground and static_2

[helm.git] / matita / matita / contribs / lambdadelta / static_2 / relocation / seq.ma

diff --git a/matita/matita/contribs/lambdadelta/static_2/relocation/seq.ma b/matita/matita/contribs/lambdadelta/static_2/relocation/seq.ma
index f928bda7c0bd5e899ff0698df0cf15c5bda060dc..128cd29749b7cf46787ae7fb6dbf5da5665d9909 100644 (file)
--- a/matita/matita/contribs/lambdadelta/static_2/relocation/seq.ma
+++ b/matita/matita/contribs/lambdadelta/static_2/relocation/seq.ma
@@ -110,7 +110,7 @@ lemma seq_inv_push (f):
 qed-.
 
 lemma seq_inv_tl (f):
-      â\88\80I,L1,L2. L1 â\89¡[⫱f] L2 → L1.ⓘ[I] ≡[f] L2.ⓘ[I].
+      â\88\80I,L1,L2. L1 â\89¡[â«°f] L2 → L1.ⓘ[I] ≡[f] L2.ⓘ[I].
 /2 width=1 by sex_inv_tl/ qed-.
 
 (* Basic_2A1: removed theorems 5: