]> matita.cs.unibo.it Git - helm.git/commitdiff
new problem:
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Sep 2006 18:48:33 +0000 (18:48 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 1 Sep 2006 18:48:33 +0000 (18:48 +0000)
generation of LambdaDelta.ma fails because of complex Cases costructions

helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma

index 5bf584dfd358990d62b80364c84dfa04c2bc4105..409ef681ffa4919995b15f74441e33a43bbcc72f 100644 (file)
@@ -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 *)