diff -r e6093a7fa53a -r 29bc35832a77 src/Pure/Tools/codegen_theorems.ML
--- a/src/Pure/Tools/codegen_theorems.ML	Tue Apr 25 22:23:30 2006 +0200
+++ b/src/Pure/Tools/codegen_theorems.ML	Tue Apr 25 22:23:41 2006 +0200
@@ -441,7 +441,7 @@
      of [] =>
           Defs.specifications_of (Theory.defs_of thy) c
           |> map (PureThy.get_thms thy o Name o fst o snd)
-          |> Library.flat
+          |> flat
           |> append (getf_first_list (map (fn f => f thy) (the_funs_extrs thy)) (c, ty))
           |> map (dest_fun thy)
           |> filter_typ