From 1c13f7edc17b114d2a46c55ea123af0a83020285 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 22 Jul 2005 08:47:10 +0000
Subject: [PATCH] ...

---
 helm/matita/matita.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index c713df170..214a48932 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -6,6 +6,8 @@ TODO
     genera i_rec e i_rect quando c'e' un argomento ricorsivo.
     (CSC: manca vincolo aggiuntivo non dipendente dalla sorta per il caso in
     questione) -> CSC
+  - bug universi e tipi induttivi
+  - Set predicativo
     
 
   TATTICHE
-- 
2.39.2