commit by user andrea

[helm.git] / weblib / tutorial / chapter1.ma

diff --git a/weblib/tutorial/chapter1.ma b/weblib/tutorial/chapter1.ma
index 7a961d4d2e548357719c8969cba310478f1f5750..9bb135c9a9527819c51d31b045dd648a0a85a90d 100644 (file)
--- a/weblib/tutorial/chapter1.ma
+++ b/weblib/tutorial/chapter1.ma
@@ -206,7 +206,7 @@ cases b // qed.
 (*
 \ 5h2 class="section"\ 6Records\ 5/h2\ 6
 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.
 *)