...

[helm.git] / helm / matita / matita.txt

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 0c75b9f1d48aacac55f5ce3228da699ff40eb254..00290751c103fd35d60215e8d1a2f0a77b7e6e9b 100644 (file)
--- 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