From a18d453a88b652f9a87c529c07d662f1e96079a9 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 22 Jul 2009 11:20:02 +0000 Subject: [PATCH] ... --- helm/software/matita/dist/TODO | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/software/matita/dist/TODO b/helm/software/matita/dist/TODO index 63246a3c8..4e92c4873 100644 --- a/helm/software/matita/dist/TODO +++ b/helm/software/matita/dist/TODO @@ -30,6 +30,7 @@ BUGS: 3) nelim bacata (assert ...), ma napply funziona prod_lemmas/symmetric_eqquadruple, napply (Prod4T ...) *4) nrewrite bacata, ma napply funziona + freescale/bool_lemmas cercare !!! *5) variabili libere => errore di tipaggio 6) sintassi per i NG naturali (serve una ndefault? serve una notazione -- 2.39.2