--- a/CookBook/Package/Ind_Code.thy	Wed Mar 18 03:03:51 2009 +0100
+++ b/CookBook/Package/Ind_Code.thy	Wed Mar 18 03:27:15 2009 +0100
@@ -553,8 +553,9 @@
   spec_parser >>
     (fn ((pred_specs), rule_specs) => add_inductive pred_specs rule_specs)*}
 
-ML{*val _ = OuterSyntax.local_theory "simple_inductive" "define inductive predicates"
-          OuterKeyword.thy_decl specification*}
+ML{*val _ = OuterSyntax.local_theory "simple_inductive" 
+              "define inductive predicates"
+                 OuterKeyword.thy_decl specification*}
 
 text {*
   Things to include at the end: