From a18d453a88b652f9a87c529c07d662f1e96079a9 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
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