X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcontribs%2FLAMBDA-TYPES%2FLevel-1%2Fproblems.ma;h=9f9ce1b3642781a5fe80b321a609e92eaa7b65fe;hb=f9ee4e9041c5ef7dff72da0f6fbe8f2d8204c99e;hp=c727f77db854e3449ae2463a6c46fa2ba497ed3e;hpb=824b55e90d08dac757eca02bd46a6effab1e0302;p=helm.git

diff --git a/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma b/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma
index c727f77db..9f9ce1b36 100644
--- a/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma
+++ b/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma
@@ -22,6 +22,7 @@ include "LambdaDelta/theory.ma".
 
 (*  iso_trans (in problems-1)
  *  drop1_getl_trans (in problems-2)
+ *  asucc_inj (in problems-3)
  *)
 
 (* Problem 2: assertion failure raised by type checker on this object *)