From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 22 Jul 2009 11:20:02 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~3635
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a18d453a88b652f9a87c529c07d662f1e96079a9;p=helm.git

...
---

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