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/local_defs.ML
changeset 59058 a78612c67ec0
parent 54742 7a86358a3c0b
child 59498 50b60f501b05 
--- a/src/Pure/Isar/local_defs.ML	Wed Nov 26 16:55:43 2014 +0100
+++ b/src/Pure/Isar/local_defs.ML	Wed Nov 26 20:05:34 2014 +0100
@@ -149,7 +149,7 @@
                     if t aconv u then (asm, false)
                     else (Drule.abs_def (Drule.gen_all asm), true))
               end)));
-      in (pairself (map #1) (List.partition #2 defs_asms), th') end
+      in (apply2 (map #1) (List.partition #2 defs_asms), th') end
   end;
 
 (*
isabelle