tailored set of code equations manually

--- a/src/HOL/ex/Codegenerator_Candidates.thy	Thu Jun 10 12:24:03 2010 +0200
+++ b/src/HOL/ex/Codegenerator_Candidates.thy	Thu Jun 10 12:25:14 2010 +0200
@@ -26,6 +26,8 @@
   While_Combinator
 begin
 
+declare lexn.simps [code del]
+
 inductive sublist :: "'a list \<Rightarrow> 'a list \<Rightarrow> bool" where
     empty: "sublist [] xs"
   | drop: "sublist ys xs \<Longrightarrow> sublist ys (x # xs)"