Skip to content
Snippets Groups Projects
Commit 74646c6e authored by wenzelm's avatar wenzelm
Browse files

merged

parents 74b95ae4 86e1e87b
No related branches found
No related tags found
No related merge requests found
......@@ -2,9 +2,8 @@
session "CondNormReasHOL" = HOL +
options [timeout = 300]
theories
DDLcube
mere_addition_opt
mere_addition_lewis
mere_addition_max
......@@ -6,8 +5,7 @@
theories
DDLcube
mere_addition_opt
mere_addition_lewis
mere_addition_max
document_files
"root.bib"
......@@ -12,3 +10,3 @@
document_files
"root.bib"
"root.tex"
\ No newline at end of file
"root.tex"
chapter AFP
session Difference_Bound_Matrices (AFP) = Floyd_Warshall +
options
[timeout=600]
options [timeout = 900]
sessions
Show
theories
......
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"
......@@ -19,7 +19,6 @@
logics_quantifiers_example
logics_LFI
logics_LFU
document_files
"root.tex"
"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