--- a/CookBook/Recipes/TimeLimit.thy	Fri Mar 13 01:15:55 2009 +0100
+++ b/CookBook/Recipes/TimeLimit.thy	Fri Mar 13 12:21:44 2009 +0100
@@ -36,7 +36,7 @@
   is reached.
 
   Note that @{ML  "timeLimit" in TimeLimit} is only meaningful when you use PolyML, 
-  because PolyML has the infrastructure for multithreading programming on 
+  because PolyML has the infrastructure for multithreaded programming on 
   which @{ML "timeLimit" in TimeLimit} relies.
 
 \begin{readmore}