chapter AFP

session "KD_Tree" = "HOL-Analysis" +
  options [timeout = 600]
  sessions
    Median_Of_Medians_Selection
  theories
    KD_Tree
    Build
    Range_Search
    Nearest_Neighbors
  document_files
    "root.tex"
    "root.bib"
