Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/codegen_theorems.ML
changeset 19466 29bc35832a77
parent 19436 3f5835aac3ce
child 19482 9f11af8f7ef9 
--- 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
isabelle