crank up limit a bit -- truly huge background theories are still nearly 3 times larger

--- a/src/HOL/Tools/Sledgehammer/sledgehammer_fact.ML	Tue Oct 08 22:33:05 2013 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_fact.ML	Wed Oct 09 08:12:53 2013 +0200
@@ -61,7 +61,7 @@
 val max_facts_for_duplicates = 50000
 val max_facts_for_duplicate_matching = 25000
 val max_facts_for_complex_check = 25000
-val max_simps_for_clasimpset = 5000
+val max_simps_for_clasimpset = 10000
 
 (* experimental feature *)
 val instantiate_inducts =