update in basic_2

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / rt_computation / fpbs_csx.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_csx.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_csx.ma
index a15e715f1169bb6b7910f8222e0e3affe0276f4d..ce44e7e7bb20687d5374f380db3852294db97f6a 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_csx.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbs_csx.ma
@@ -17,7 +17,7 @@ include "basic_2/rt_computation/fpbs.ma".
 
 (* PARALLEL RST-COMPUTATION FOR CLOSURES ************************************)
 
-(* Properties with sn for uncounted parallel rt-transition for terms ********)
+(* Properties with sn for unbound parallel rt-transition for terms **********)
 
 (* Basic_2A1: was: csx_fpbs_conf *)
 lemma fpbs_csx_conf: ∀h,o,G1,L1,T1. ⦃G1, L1⦄ ⊢ ⬈*[h, o] 𝐒⦃T1⦄ →