# HG changeset patch
# User kleing
# Date 1376128834 -7200
# Node ID 797362ce0c144c04e8009ffbd049fa73ebf2735b
# Parent  b8b77a148ada0c95f80120aa697bf6d7da54a544
prefer local facts over global ones

diff -r b8b77a148ada -r 797362ce0c14 src/Pure/Tools/find_theorems.ML
--- a/src/Pure/Tools/find_theorems.ML	Sat Aug 10 11:59:03 2013 +0200
+++ b/src/Pure/Tools/find_theorems.ML	Sat Aug 10 12:00:34 2013 +0200
@@ -413,8 +413,8 @@
       |> filter_out (Facts.is_concealed facts o #1);
   in
     maps Facts.selections
-     (visible_facts (Global_Theory.facts_of (Proof_Context.theory_of ctxt)) @
-      visible_facts (Proof_Context.facts_of ctxt))
+     (visible_facts (Proof_Context.facts_of ctxt) @
+      visible_facts (Global_Theory.facts_of (Proof_Context.theory_of ctxt)))
   end;
 
 fun filter_theorems ctxt theorems query =