...

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

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 4a82fd150044daa517f3b2bee38c4dabd5fa36bb..7fa0e72d01f8436e4d1341d1b0176a9f50eb8162 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -11,6 +11,7 @@ TODO
     
 
   TATTICHE
+  - tattica unfold su rel a let-in bound variables
   - theorem t: True. elim x. ==> BOOM! unificazione di una testa flessibile con
     True.
   - parsing contestuale (tattiche replace, change e forse altre)