new problem:

generation of LambdaDelta.ma fails because of complex Cases costructions

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma
index 5bf584dfd358990d62b80364c84dfa04c2bc4105..409ef681ffa4919995b15f74441e33a43bbcc72f 100644 (file)
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma
@@ -21,7 +21,7 @@ include "legacy/coq.ma".
 
 (*
 
-(* Problem 1: disambiguation/typechecking of may objects very slow *)
+(* Problem 1: generation of LambdaDelta.ma fails *)
 
 (* Problem 2: assertion failure raised by type checker on this object *)