--- 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 =