chapter AFP

session Negative_Association = "HOL-Probability" +
  options [timeout = 1800]
  sessions
    Concentration_Inequalities
    Birkhoff_Finite_Distributive_Lattices
    Twelvefold_Way
    Weighted_Arithmetic_Geometric_Mean
    Executable_Randomized_Algorithms
    Universal_Hash_Families
  theories
    Negative_Association_Util
    Negative_Association_Definition
    Negative_Association_Chernoff_Bounds0F8 x,0x00, 0x00, x00 000 xD1,0xF3,/
    Negative_Association_FKG_Inequality
    Negative_Association_More_Lattices
    Negative_Association_Permutation_Distributions
    Negative_Association_Bloom_Filters
  document_files
    "root.tex"
    "root.bib"