added a couple of todo items

diff --git a/helm/papers/matita/matita2.tex b/helm/papers/matita/matita2.tex
index 8745c56f0458006cf365bfc58db2c3d3cf63c032..d31afebed073586b685d0074090afcb3268018f9 100644 (file)
--- a/helm/papers/matita/matita2.tex
+++ b/helm/papers/matita/matita2.tex
@@ -1800,6 +1800,10 @@ and V.~Tamburrelli.
 
 \theendnotes
 
+\TODO{rivedere bibliografia, \'e un po' povera}
+
+\TODO{aggiungere entry per le coercion implicite}
+
 \bibliography{matita}
 
 \end{document}