From: Enrico Tassi Date: Wed, 24 Sep 2008 15:59:52 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~4745 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8ea885d6edc237b9313eb921d2850e4e295f57f4;p=helm.git ... --- diff --git a/helm/software/components/ng_kernel/TODO b/helm/software/components/ng_kernel/TODO index 5852d9b52..4511bbae0 100644 --- a/helm/software/components/ng_kernel/TODO +++ b/helm/software/components/ng_kernel/TODO @@ -1,2 +1,4 @@ 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 === +in are_convertible togliere il caso Meta,Meta in quanto catturato da === +in are_convertible caso Meta,Meta non fare lift ma accorcia il ctx