X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Frelocation%2Ftr_id.ma;h=4360fcb116e24850c030e9e6535e97eb0eb60a3b;hb=aa994e4c3126b43753f9ab8780bcb55a1df3f22a;hp=9b421ee43390951148ccf3ac0c781656c6ead232;hpb=b15b3e2d9e333bf94677ff2731c825da3566c9ec;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/ground/relocation/tr_id.ma b/matita/matita/contribs/lambdadelta/ground/relocation/tr_id.ma
index 9b421ee43..4360fcb11 100644
--- a/matita/matita/contribs/lambdadelta/ground/relocation/tr_id.ma
+++ b/matita/matita/contribs/lambdadelta/ground/relocation/tr_id.ma
@@ -23,7 +23,7 @@ interpretation
   "identity element (total relocation streams)"
   'ElementI = (tr_id).
 
-(* Basic constructions (specific) *******************************************)
+(* Basic constructions ******************************************************)
 
 lemma tr_id_unfold: ⫯𝐢 = 𝐢.
 <(stream_unfold … (𝐢)) in ⊢ (???%); //