X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda_delta%2Fbasic_2%2Freducibility%2Fcpr_lift.ma;h=b54510e8cabf09946e140210f39160bffb8ee129;hb=ba575c0609015580c1419c17b350de19a158e8e3;hp=43bce2b1afe687b5f59355b001f1d9fc7948ed61;hpb=a2144f09d1bd7022c1f2dfd4909a1fb9772c8d56;p=helm.git

diff --git a/matita/matita/contribs/lambda_delta/basic_2/reducibility/cpr_lift.ma b/matita/matita/contribs/lambda_delta/basic_2/reducibility/cpr_lift.ma
index 43bce2b1a..b54510e8c 100644
--- a/matita/matita/contribs/lambda_delta/basic_2/reducibility/cpr_lift.ma
+++ b/matita/matita/contribs/lambda_delta/basic_2/reducibility/cpr_lift.ma
@@ -134,7 +134,7 @@ elim (cpr_inv_appl1 … H) -H *
   elim (simple_inv_bind … HT1)
 ]
 qed-.
-
+     
 (* Relocation properties ****************************************************)
 
 (* Basic_1: was: pr2_lift *)