--- a/src/HOL/ex/Codegenerator.thy Fri Nov 24 13:39:22 2006 +0100
+++ b/src/HOL/ex/Codegenerator.thy Fri Nov 24 13:43:44 2006 +0100
@@ -54,8 +54,6 @@
by pat_completeness auto
termination by (relation "measure nat") auto
-declare fac.simps [code]
-
subsection {* sums *}
subsection {* options *}