From e4f993e8add5714f4d423e07f17b3a64339b90be Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 29 Sep 2005 07:25:31 +0000 Subject: [PATCH] ... --- helm/matita/matita.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt index e9aeca8b8..7ae49906d 100644 --- a/helm/matita/matita.txt +++ b/helm/matita/matita.txt @@ -15,6 +15,7 @@ TODO TATTICHE + - generazione di principi di co-induzione per co-induttivi - ARGOMENTI IMPLICIT: li vogliamo? come? come disabilitarli localmente? - in generale: invece di spiegare gli errori nel momento in cui si sollevano le eccezioni, farlo quando vengono presentate all'utente. Motivo: il calcolo -- 2.39.2