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/Isar/attrib.ML
changeset 30190 479806475f3c
parent 29690 c81f8b2967e1
child 30211 556d1810cdad 
--- a/src/Pure/Isar/attrib.ML	Sun Mar 01 16:48:06 2009 +0100
+++ b/src/Pure/Isar/attrib.ML	Sun Mar 01 23:36:12 2009 +0100
@@ -198,7 +198,7 @@
       let
         val ths = Facts.select thmref fact;
         val atts = map (attribute_i thy) srcs;
-        val (context', ths') = foldl_map (Library.apply atts) (context, ths);
+        val (context', ths') = Library.foldl_map (Library.apply atts) (context, ths);
       in (context', pick name ths') end)
   end);
isabelle