X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Fbasics%2Fstar.ma;h=f935f007058e32bf9f852fbcd03d7136658a5393;hb=143c97a8fe657eb7b041dec2747b0e67b5899762;hp=36aee8fe45465c016a6ca3709046a0c6fefd11c7;hpb=e5077c96c584933ad1467e8066780b46d7b0468c;p=helm.git

diff --git a/matita/matita/lib/basics/star.ma b/matita/matita/lib/basics/star.ma
index 36aee8fe4..f935f0070 100644
--- a/matita/matita/lib/basics/star.ma
+++ b/matita/matita/lib/basics/star.ma
@@ -142,7 +142,7 @@ lemma star_ind_l: ∀A,R,a2. ∀P:predicate A.
 @(star_ind_l_aux … H1 H2 … Ha12) //
 qed.
 
-(* RC and star *)
+(* TC and star *)
 
 lemma TC_to_star: ∀A,R,a,b.TC A R a b → star A R a b.
 #R #A #a #b #TCH (elim TCH) /2/