defs are added to code data

--- a/src/Pure/Isar/constdefs.ML	Fri Apr 20 17:58:26 2007 +0200
+++ b/src/Pure/Isar/constdefs.ML	Fri Apr 20 17:58:27 2007 +0200
@@ -50,7 +50,8 @@
     val thy' =
       thy
       |> Theory.add_consts_i [(c, T, mx)]
-      |> PureThy.add_defs_i false [((name, def), atts)] |> snd;
+      |> PureThy.add_defs_i false [((name, def), atts)]
+      |-> (fn [thm] => CodegenData.add_func false thm);
   in ((c, T), thy') end;
 
 fun gen_constdefs prep_vars prep_prop prep_att (raw_structs, specs) thy =