From 2ee2f93ad2b68ec7e3307656515685cfb8887a60 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 31 Jan 2006 09:24:23 +0000
Subject: [PATCH] A new TODO.

---
 helm/papers/matita/matita2.tex | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/helm/papers/matita/matita2.tex b/helm/papers/matita/matita2.tex
index d31afebed..7f618f656 100644
--- a/helm/papers/matita/matita2.tex
+++ b/helm/papers/matita/matita2.tex
@@ -1437,6 +1437,8 @@ can automatically generate from the selection.
 
 \subsubsection{Tactics supporting patterns}
 
+\TODO{Grazie ai pattern, rispetto a Coq noi abbiamo per esempio la possibilita' di fare riduzioni profonde!!!}
+
 \TODO{mergiare con il successivo facendo notare che i patterns sono una
 interfaccia comune per le tattiche}
 
-- 
2.39.2