From: Claudio Sacerdoti Coen Date: Thu, 30 Jul 2009 10:11:09 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~3594 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1abda0fa9589c81b6234fddb2bf63f492527cfbd;hp=ddc73f8ac2a7271176d3c0885c3ca1ce7638b816;p=helm.git ... --- diff --git a/helm/software/matita/dist/TODO b/helm/software/matita/dist/TODO index 59f3c878b..5305382b0 100644 --- a/helm/software/matita/dist/TODO +++ b/helm/software/matita/dist/TODO @@ -22,7 +22,8 @@ TODO: - compare with the paper BUGS: - +1) la disambiguazione sembra generare termini (? ? ?) quando buca! + inoltre buca anche quando c'e' una scelta sola ?2) cosa "corrisponde" alla simplify? multivm/breakpoint => la mu (+ iota) normalize *5) variabili libere => errore di tipaggio