- improved Makefile esp. with the "trim" function

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

diff --git a/matita/matita/contribs/lambdadelta/basic_2/computation/cprs_tstc_vector.ma b/matita/matita/contribs/lambdadelta/basic_2/computation/cprs_tstc_vector.ma
index fd3eb585e2e97d1ae456f82f56aa1dd8654cf174..8babd61baf1314bccdfb2b8e6a1849104bbd96d8 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/computation/cprs_tstc_vector.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/computation/cprs_tstc_vector.ma
@@ -130,7 +130,7 @@ elim (cprs_inv_appl1 … H) -H *
       @(cprs_strap2 … (ⓓ{b}V0.ⓐV2a.T0)) [ /3 width=3/ ] -V1a /3 width=1/
     ]
   ]
-]  
+]
 qed-.
 
 (* Basic_1: was: pr3_iso_appls_cast *)