- improved Makefile esp. with the "trim" function

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / unfold / delift_tpss.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/unfold/delift_tpss.ma b/matita/matita/contribs/lambdadelta/basic_2/unfold/delift_tpss.ma
index cebcf828ea1c4e944ab56971ba7b71e002c8e8b0..662ae567fed348d1997cbad36f03fc8f1ce36b04 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/unfold/delift_tpss.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/unfold/delift_tpss.ma
@@ -89,4 +89,4 @@ qed.
 
 lemma tps_delift_trans_eq: ∀L,U1,U2,d,e. L ⊢ U1 ▶ [d, e] U2 →
                            ∀T. L ⊢ ▼*[d, e] U2 ≡ T → L ⊢ ▼*[d, e] U1 ≡ T.
-/3 width=3/ qed.                            
+/3 width=3/ qed.