A compiling version

[helm.git] / matita / matita / lib / tutorial / chapter1.ma

diff --git a/matita/matita/lib/tutorial/chapter1.ma b/matita/matita/lib/tutorial/chapter1.ma
index f2c70a238e506b8d9ad154ef2dcf2c9e620b5c9a..bd568a1f4df3b43b3f5e311ca6bc6e4f349e21ae 100644 (file)
--- 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