From f5924d06e3e5d5a4e16247f51fe675e97433128e Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 12 Sep 2014 18:28:34 +0000
Subject: [PATCH] one more typo ...

---
 matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
index 25897dcea..e6c828efb 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
+++ b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml
@@ -36,7 +36,7 @@
 
    <subsection>Stage "A": "Weakening the Applicability Condition"</subsection>
    <news date="2014 September 9.">
-         Interated static type assignment defined (more elegantly)
+         Iterated static type assignment defined (more elegantly)
          as a primitive notion.
    </news>
    <news date="2014 June 18.">
-- 
2.39.2