
diff -r 733614e236a3 -r 2f1736cb8f26 CookBook/NamedThms.thy
--- a/CookBook/NamedThms.thy	Tue Sep 30 03:30:40 2008 -0400
+++ b/CookBook/NamedThms.thy	Wed Oct 01 15:40:20 2008 -0400
@@ -53,8 +53,7 @@
 
 text {* 
   \begin{readmore}
-  XXX
-
+  For more information see @{ML_file "Pure/Tools/named_thms.ML"}.
   \end{readmore}
  *}
 




