update in basic_2

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

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx_fqup.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx_fqup.ma
index e9879a17cc9e56609d6d2247d06aab8e2da800a4..a14bccf50bf57e450472c9302e73f3c9ea3a3a88 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx_fqup.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx_fqup.ma
@@ -15,7 +15,7 @@
 include "basic_2/static/lfdeq_fqup.ma".
 include "basic_2/rt_computation/lfsx.ma".
 
-(* STRONGLY NORMALIZING LOCAL ENV.S FOR UNCOUNTED PARALLEL RT-TRANSITION ****)
+(* STRONGLY NORMALIZING LOCAL ENV.S FOR UNBOUND PARALLEL RT-TRANSITION ******)
 
 (* Advanced properties ******************************************************)