- main proof case closed in the 4th component of preservation

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / computation / csn_alt.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/computation/csn_alt.ma b/matita/matita/contribs/lambdadelta/basic_2/computation/csn_alt.ma
index eeba707dcacac19081e94c6ed0c58c2183a7bdce..c880b2dd2f632b56ca2db5f157b13c4cc4ab341e 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/computation/csn_alt.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/computation/csn_alt.ma
@@ -68,7 +68,7 @@ lemma csna_intro_cpr: ∀L,T1.
   [ -HLT1 -HLT2 -H /3 width=1/
   | -IHT -HT12 /4 width=3/
   ]
-] 
+]
 qed.
 
 (* Main properties **********************************************************)