--- a/CookBook/Recipes/NamedThms.thy	Wed Jan 14 16:46:07 2009 +0000
+++ b/CookBook/Recipes/NamedThms.thy	Wed Jan 14 17:47:49 2009 +0000
@@ -17,11 +17,9 @@
 
   *}
 
-ML {*
-structure FooRules = NamedThmsFun (
+ML{*structure FooRules = NamedThmsFun (
   val name = "foo" 
-  val description = "Rules for foo");
-*}
+  val description = "Rules for foo"); *}
 
 text {*
   and the command