From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 31 Jan 2006 09:24:23 +0000 (+0000)
Subject: A new TODO.
X-Git-Tag: make_still_working~7723
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2ee2f93ad2b68ec7e3307656515685cfb8887a60;p=helm.git

A new TODO.
---

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}