
diff -r 3da5f3f07d8b -r 4e2341f6599d CookBook/Package/Ind_Interface.thy
--- a/CookBook/Package/Ind_Interface.thy	Fri Mar 13 16:57:16 2009 +0100
+++ b/CookBook/Package/Ind_Interface.thy	Sat Mar 14 00:48:22 2009 +0100
@@ -139,7 +139,7 @@
 in
   parse spec_parser input
 end"
-"((((NONE, [(even, NONE, NoSyn), (odd, NONE, NoSyn)]), []),
+"(((NONE, [(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\")]), [])"}




