update in ground

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

diff --git a/matita/matita/contribs/lambdadelta/ground/relocation/tr_id.ma b/matita/matita/contribs/lambdadelta/ground/relocation/tr_id.ma
index 9b421ee43390951148ccf3ac0c781656c6ead232..4360fcb116e24850c030e9e6535e97eb0eb60a3b 100644 (file)
--- 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 ⊢ (???%); //