- improved Makefile esp. with the "trim" function

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / reducibility / tpr.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/reducibility/tpr.ma b/matita/matita/contribs/lambdadelta/basic_2/reducibility/tpr.ma
index 280410b80fcbea613dfb90db3231b33fd695352c..f04b1d9722db49b842220ad6f69d175d60ea7d3f 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/reducibility/tpr.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/reducibility/tpr.ma
@@ -234,5 +234,5 @@ qed-.
 
 (* Basic_1: removed theorems 3:
             pr0_subst0_back pr0_subst0_fwd pr0_subst0
-   Basic_1: removed local theorems: 1: pr0_delta_tau
 *)
+(* Basic_1: removed local theorems: 1: pr0_delta_tau *)