chapter AFP

session Hidden_Number_Problem = "HOL-Probability" +
  options [timeout = 1500]

sessions
  Babai_Nearest_Plane
  "HOL-Algebra"

theories
  Hidden_Number_Problem
  Misc_PMF
  Ad_Codegen_Example

document_files
  "root.bib"
  "root.tex"
