Skip to content
Snippets Groups Projects
Commit 78e7e998 authored by wenzelm's avatar wenzelm
Browse files

more realistic timeout;

tuned whitespace;
parent 66527e4f
No related branches found
No related tags found
No related merge requests found
chapter AFP
session Negative_Association = "HOL-Probability" +
options [timeout = 600]
options [timeout = 1800]
sessions
Concentration_Inequalities
Birkhoff_Finite_Distributive_Lattices
......@@ -10,7 +9,6 @@
Weighted_Arithmetic_Geometric_Mean
Executable_Randomized_Algorithms
Universal_Hash_Families
theories
Negative_Association_Util
Negative_Association_Definition
......@@ -19,6 +17,5 @@
Negative_Association_More_Lattices
Negative_Association_Permutation_Distributions
Negative_Association_Bloom_Filters
document_files
"root.tex"
......@@ -23,3 +20,3 @@
document_files
"root.tex"
"root.bib"
\ No newline at end of file
"root.bib"
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment