X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fcomputation%2Fcsn_aaa.ma;h=109d9301849230598b34de25da15422dac0828c7;hb=08cb57944c0df08611d4f35d286e46c0d13e4813;hp=67744a098a152cd8101ea18dfe6e37f566856b47;hpb=9245402674a791dfdb943902f8288d742088c854;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/computation/csn_aaa.ma b/matita/matita/contribs/lambdadelta/basic_2/computation/csn_aaa.ma
index 67744a098..109d93018 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/computation/csn_aaa.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/computation/csn_aaa.ma
@@ -22,4 +22,4 @@ include "basic_2/computation/csn_tstc_vector.ma".
 lemma csn_aaa: ∀L,T,A. L ⊢ T ⁝ A → L ⊢ ⬊* T.
 #L #T #A #H
 @(acp_aaa … csn_acp csn_acr … H)
-qed. 
+qed.