chapter AFP

session "DP_QBS" (AFP) = "HOL-Probability" +
  options [timeout = 600]
  sessions
    "S_Finite_Measure_Monad"
    "Differential_Privacy"
  theories
    "DP_QBS"
    "DP_QBS_Examples"
  document_files
    "root.tex"
    "root.bib"