diff -r 043ef82000b4 -r 371e4375c994 CookBook/Package/Ind_Interface.thy
--- a/CookBook/Package/Ind_Interface.thy	Wed Mar 18 03:27:15 2009 +0100
+++ b/CookBook/Package/Ind_Interface.thy	Wed Mar 18 18:27:48 2009 +0100
@@ -139,7 +139,7 @@
 in
   parse spec_parser input
 end"
-"(((NONE, [(even, NONE, NoSyn), (odd, NONE, NoSyn)]),
+"(([(even, NONE, NoSyn), (odd, NONE, NoSyn)],
      [((even0,\<dots>), \"\\^E\\^Ftoken\\^Eeven 0\\^E\\^F\\^E\"),
       ((evenS,\<dots>), \"\\^E\\^Ftoken\\^Eodd n \<Longrightarrow> even (Suc n)\\^E\\^F\\^E\"),
       ((oddS,\<dots>), \"\\^E\\^Ftoken\\^Eeven n \<Longrightarrow> odd (Suc n)\\^E\\^F\\^E\")]), [])"}