# HG changeset patch
# User griff
# Date 1248247281 -7200
# Node ID 32b4d3704415a4258e0094e73bb194eb2c916378
# Parent  a63ca3a9b44ad36d3b8048424831c4fe6850a738
typo

diff -r a63ca3a9b44a -r 32b4d3704415 ProgTutorial/FirstSteps.thy
--- 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
diff -r a63ca3a9b44a -r 32b4d3704415 progtutorial.pdf
Binary file progtutorial.pdf has changed