src/HOL/List.thy

--- a/src/HOL/List.thy	Tue Aug 08 08:19:39 2006 +0200
+++ b/src/HOL/List.thy	Tue Aug 08 08:19:44 2006 +0200
@@ -2726,7 +2726,6 @@
 val list_codegen_setup =
   Codegen.add_codegen "list_codegen" list_codegen
   #> Codegen.add_codegen "char_codegen" char_codegen
-  #> CodegenPackage.add_appconst ("Numeral.number_of", appgen_number)
   #> fold (CodegenPackage.add_pretty_list "Nil" "Cons") [
        ("ml", (7, "::")),
        ("haskell", (5, ":"))