diff -r 05072ae0d435 -r 36a59e5d0039 src/Pure/Tools/codegen_theorems.ML
--- a/src/Pure/Tools/codegen_theorems.ML	Wed Sep 13 00:38:38 2006 +0200
+++ b/src/Pure/Tools/codegen_theorems.ML	Wed Sep 13 12:05:50 2006 +0200
@@ -918,7 +918,7 @@
       (Context.map_theory o f);
 in
   val _ = map (Context.add_setup o add_simple_attribute) [
-    ("fun", add_fun),
+    ("func", add_fun),
     ("nofun", del_fun),
     ("unfold", (fn thm => Codegen.add_unfold thm #> add_unfold thm)),
     ("inline", add_unfold),