chapter AFP

session Chvatal_Tree_Ramsey = Ramsey_Bounds +
  options [timeout = 1200]
  sessions
    Tree_Enumeration
  theories
    Chvatal_Tree_Ramsey
  document_files
    "root.tex"
    "root.bib"
