From 4de043537de830bf3c3facaf8ea7a3d2344156a2 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 7 Sep 2005 16:20:03 +0000
Subject: [PATCH] ...

---
 helm/matita/matita.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 0c75b9f1d..00290751c 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -11,6 +11,8 @@ TODO
     
 
   TATTICHE
+  - file elim.ma: vengono creati lambda dummy e referenziati nell'outtype di
+    un case
   - tattiche e fallimenti: una tattica che non progredisce dovrebbe fallire
   - comportamento di tutte le tattiche nei confronti dei let-in
   - tattica unfold su rel a let-in bound variables: c'e' ancora un bug
-- 
2.39.2