update in ground and static_2

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

diff --git a/matita/matita/contribs/lambdadelta/ground/relocation/gr_ist.ma b/matita/matita/contribs/lambdadelta/ground/relocation/gr_ist.ma
index 8a3636574798a7a9ce6ce3a64612fbb8365aca5d..d7f511a56fa1ef8c75a71b1125ab9725f7033756 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/relocation/gr_ist.ma
+++ b/matita/matita/contribs/lambdadelta/ground/relocation/gr_ist.ma
@@ -42,7 +42,7 @@ qed-.
 (* Constructions with gr_tl *************************************************)
 
 (*** istot_tl *)
-lemma gr_ist_tl (f): ð\9d\90\93â\9dªfâ\9d« â\86\92 ð\9d\90\93â\9dªâ«±f❫.
+lemma gr_ist_tl (f): ð\9d\90\93â\9dªfâ\9d« â\86\92 ð\9d\90\93â\9dªâ«°f❫.
 #f cases (gr_map_split_tl f) *
 /2 width=3 by gr_ist_inv_next, gr_ist_inv_push/
 qed.