chapter AFP

session Concentration_Inequalities = "HOL-Probability" +
  options [timeout = 1200]
  sessions
    Lp
  theories
    Bennett_Inequality
    Bienaymes_Identity
    Cantelli_Inequality
    Concentration_Inequalities_Preliminary
    Efron_Stein_Inequality
    McDiarmid_Inequality
    Paley_Zygmund_Inequality
  document_files
    "root.tex"
    "root.bib"
