From: Enrico Tassi Date: Wed, 24 Sep 2008 11:25:22 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~4749 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c055a1b1b685a88673562f24d77623fc53db8420;p=helm.git ... --- diff --git a/helm/software/components/ng_kernel/TODO b/helm/software/components/ng_kernel/TODO index d2a7c81fb..5852d9b52 100644 --- a/helm/software/components/ng_kernel/TODO +++ b/helm/software/components/ng_kernel/TODO @@ -1 +1,2 @@ muovere la split_prods nella riduzione e usarla nel caso di convertibilità di 2 match +in are_convertible togliere il caso Prop,Prop in quanto catturato da ===