--- a/ProgTutorial/FirstSteps.thy	Wed Jul 22 08:54:24 2009 +0200
+++ b/ProgTutorial/FirstSteps.thy	Wed Jul 22 09:21:21 2009 +0200
@@ -1716,7 +1716,7 @@
 
   Since storing theorems in a list is such a common task, there is the special
   functor @{ML_functor Named_Thms}, which does most of the work for you. To obtain
-  a named theorem lists, you just declare
+  a named theorem list, you just declare
 *}
 
 ML{*structure FooRules = Named_Thms