chapter AFP

session "Flyspeck-Tame" = HOL +
  options [timeout = 1200]
  sessions
    "HOL-Library"
    Trie
  theories
    Relative_Completeness
  document_files
    "root.bib"
    "root.tex"

session "Flyspeck-Tame-Computation" (slow very_slow) in "Computation" = "Flyspeck-Tame" +
  options [timeout = 50400]
  theories
    Completeness
