
diff -r cb39c41548bd -r 7e0bf13bf743 CookBook/Intro.thy
--- a/CookBook/Intro.thy	Thu Feb 26 14:20:52 2009 +0000
+++ b/CookBook/Intro.thy	Fri Feb 27 13:02:19 2009 +0000
@@ -132,7 +132,7 @@
   about parsing.
 
   \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' 
-  chapter and also contributed recipe \ref{rec:named}.
+  chapter and also contributed the material on @{text NamedThmsFun}.
   \end{itemize}
 
   Please let me know of any omissions. Responsibility for any remaining




