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/HOL/Tools/Function/pattern_split.ML
changeset 33049 c38f02fdf35d
parent 33038 8f9594c31de4
child 33099 b8cdd3d73022 
--- a/src/HOL/Tools/Function/pattern_split.ML	Wed Oct 21 10:15:31 2009 +0200
+++ b/src/HOL/Tools/Function/pattern_split.ML	Wed Oct 21 12:09:37 2009 +0200
@@ -101,7 +101,7 @@
           let
             val t = Pattern.rewrite_term thy sigma [] feq1
           in
-            fold_rev Logic.all (inter (op =) (map Free (frees_in_term ctx t), vs')) t
+            fold_rev Logic.all (inter (op =) vs' (map Free (frees_in_term ctx t))) t
           end
     in
       map instantiate substs
isabelle