old pr2_subst1 (Basic-1) closed!

[helm.git] / matita / matita / contribs / lambda_delta / Basic_2 / reduction / cpr.ma

diff --git a/matita/matita/contribs/lambda_delta/Basic_2/reduction/cpr.ma b/matita/matita/contribs/lambda_delta/Basic_2/reduction/cpr.ma
index 3d1280a651b18354cf8e25a847ec64c51a95848f..e70b9c537a2bf75271e51569e318c05aa0ce572b 100644 (file)
--- a/matita/matita/contribs/lambda_delta/Basic_2/reduction/cpr.ma
+++ b/matita/matita/contribs/lambda_delta/Basic_2/reduction/cpr.ma
@@ -93,6 +93,4 @@ qed.
 (*
 pr2/fwd pr2_gen_appl
 pr2/fwd pr2_gen_abbr
-pr2/subst1 pr2_subst1
-pr2/subst1 pr2_gen_cabbr
 *)