From 761aef3c864626e17004b9785c39def7053271e0 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 2 Oct 2008 15:48:03 +0000 Subject: [PATCH] ... --- helm/software/components/ng_kernel/TODO | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/software/components/ng_kernel/TODO b/helm/software/components/ng_kernel/TODO index 5e418e44b..cfe8ca117 100644 --- a/helm/software/components/ng_kernel/TODO +++ b/helm/software/components/ng_kernel/TODO @@ -10,7 +10,8 @@ e la si tagga con bound a seconda del test_eq_only <= k. ?1 <= Type_i -->> ?1 := ?2, ?2 : Type_i+1 -nel vecchio nucleo la height_of di un b-redex fa 0 e quindi riduci in forma normale +nel vecchio nucleo la height_of di un b-redex fa 0 e quindi riduci in forma +normale. Spostare la small_delta_step. ------- ?1 = t -- 2.39.2