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/invoke.ML
changeset 20893 c99f79910ae8
parent 20305 16c8f44b1852
child 21440 807a39221a58 
--- a/src/Pure/Tools/invoke.ML	Sat Oct 07 01:31:20 2006 +0200
+++ b/src/Pure/Tools/invoke.ML	Sat Oct 07 01:31:22 2006 +0200
@@ -73,7 +73,7 @@
           val notes =
             maps (Element.facts_of thy) elems'
             |> Element.satisfy_facts prems''
-            |> Element.generalize_facts ctxt'' ctxt
+            |> Element.export_facts ctxt'' ctxt
             |> Attrib.map_facts (Attrib.attribute_i thy)
             |> map (fn ((a, atts), bs) => ((a, atts @ more_atts), bs));
         in
isabelle