From: Ferruccio Guidi Date: Fri, 1 Sep 2006 18:48:33 +0000 (+0000) Subject: new problem: X-Git-Tag: make_still_working~6955 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cdb7b3dcac3ff13a18ce67878ab7aec2302a9a77;p=helm.git 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 5bf584dfd..409ef681f 100644 --- 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 *)