commit by user andrea

diff --git a/weblib/tutorial/chapter2.ma b/weblib/tutorial/chapter2.ma
index 2de8f8558d240d69fe45e650aebc4b9fd0892989..d309eeed28e429c98678179880d499b143e91bcb 100644 (file)
--- a/weblib/tutorial/chapter2.ma
+++ b/weblib/tutorial/chapter2.ma
@@ -18,7 +18,7 @@ O, S O, S (S O), S (S (S O)) and so on.
 
 The language of Matita allows the definition of well founded recursive functions over inductive 
 types; in order to guarantee termination of recursion you are only allowed to make recursive 
-calls on structurally smaller arguments than the ones your received in input. 
+calls on structurally smaller arguments than the ones you received in input. 
 Most mathematical functions can be naturally defined in this way. For instance, the sum of two 
 natural numbers can be defined as follows *)