From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 12 Sep 2014 18:28:34 +0000 (+0000)
Subject: one more typo ...
X-Git-Tag: make_still_working~842
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f5924d06e3e5d5a4e16247f51fe675e97433128e;p=helm.git

one more typo ...
---

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.">