chapter AFP

session "Topological_Groups" = "HOL-Analysis" +
  options [timeout = 300]
  sessions
    "HOL-Library"
    "HOL-Algebra"
    "HOL-Combinatorics"
  theories
    "Topological_Group"
    "Topological_Group_Examples"
    "Uniform_Structure"
    "Matrix_Group"
  document_files
    "root.bib"
    "root.tex"
