
diff -r c346c156a7cd -r a04bdee4fb1e CookBook/Intro.thy
--- a/CookBook/Intro.thy	Fri Nov 28 05:19:55 2008 +0100
+++ b/CookBook/Intro.thy	Fri Nov 28 05:56:28 2008 +0100
@@ -58,7 +58,7 @@
   \end{description}
 
   The Cookbook is written in such a way that the code examples in it are 
-  synchronised with fairly recent versions of the code.
+  checked against recent versions of the code.
 
 *}
 




