the theory of extended multiple substitution for therms is complete

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / relocation / cpy_cpy.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/relocation/cpy_cpy.ma b/matita/matita/contribs/lambdadelta/basic_2/relocation/cpy_cpy.ma
index dd4227b227593ca55cb83c2b306b04a3e5c8855a..f876a53d7b0df2d31e2fe573a9ace17d5ae8c246 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/relocation/cpy_cpy.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/relocation/cpy_cpy.ma
@@ -14,7 +14,7 @@
 
 include "basic_2/relocation/cpy_lift.ma".
 
-(* CONTEXT-SENSITIVE EXTENDED PARALLEL SUBSTITUTION FOR TERMS ***************)
+(* CONTEXT-SENSITIVE EXTENDED ORDINARY SUBSTITUTION FOR TERMS ***************)
 
 (* Main properties **********************************************************)