X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2Ftutorial%2Fchapter1.ma;h=9bb135c9a9527819c51d31b045dd648a0a85a90d;hb=b660835a8e13fdbae35e0377b6f607e7db1c07a8;hp=7a961d4d2e548357719c8969cba310478f1f5750;hpb=3800a841aa7115b10432f588d31b77129b3a0dc9;p=helm.git

diff --git a/weblib/tutorial/chapter1.ma b/weblib/tutorial/chapter1.ma
index 7a961d4d2..9bb135c9a 100644
--- a/weblib/tutorial/chapter1.ma
+++ b/weblib/tutorial/chapter1.ma
@@ -206,7 +206,7 @@ cases b // qed.
 (*
 h2 class="section"Records/h2
 It is time to proceed with our formalization of the farmer's problem. 
-A state of the system is defined by the position of four item: the goat, the 
+A state of the system is defined by the position of four items: the goat, the 
 wolf, the cabbage, and the boat. The simplest way to declare such a data type
 is to use a record.
 *)