X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Ftutorial%2Fchapter1.ma;h=bd568a1f4df3b43b3f5e311ca6bc6e4f349e21ae;hb=9c0398174ebfa6b483dbdd5c10e8b15e39067329;hp=f2c70a238e506b8d9ad154ef2dcf2c9e620b5c9a;hpb=286a98aeb02ee44311b8007a10b8329bbf986577;p=helm.git

diff --git a/matita/matita/lib/tutorial/chapter1.ma b/matita/matita/lib/tutorial/chapter1.ma
index f2c70a238..bd568a1f4 100644
--- a/matita/matita/lib/tutorial/chapter1.ma
+++ b/matita/matita/lib/tutorial/chapter1.ma
@@ -206,7 +206,7 @@ them in turn, in a way that will be described at the end of this section.
 
 (********************************** Predicates ********************************)
 
-(*I nstead of working with functions, it is sometimes convenient to work with
+(* Instead of working with functions, it is sometimes convenient to work with
 predicates. For instance, instead of defining a function computing the opposite 
 bank, we could declare a predicate stating when two banks are opposite to each 
 other. Only two cases are possible, leading naturally to the following