X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_computation%2Fcsx.ma;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Frt_computation%2Fcsx.ma;h=d162f660a984b37fbadc4e8b274881d8207ed719;hb=c7b50fec51b9a25d5bc536f44e54179fd53efb44;hp=31ebb2c771013868994633d252550d2ea7fc482b;hpb=adb9ba187619cea977d1d22971eba27eb437cd6a;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx.ma
index 31ebb2c77..d162f660a 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx.ma
@@ -98,6 +98,6 @@ lemma csx_fwd_flat: ∀h,I,G,L,V,T. ⦃G,L⦄ ⊢ ⬈*[h] 𝐒⦃ⓕ{I}V.T⦄ 
             sn3_appl_appls sn3_bind sn3_appl_bind sn3_appls_bind
 *)
 (* Basic_2A1: removed theorems 6:
-              csxa_ind csxa_intro csxa_cpxs_trans csxa_intro_cpx 
+              csxa_ind csxa_intro csxa_cpxs_trans csxa_intro_cpx
               csx_csxa csxa_csx
 *)