chapter AFP

session Tree_Enumeration = HOL +
  options [timeout = 600]
  sessions
    "Undirected_Graph_Theory"
  theories
    Tree_Graph
    Labeled_Tree_Enumeration
    Rooted_Tree
    Rooted_Tree_Enumeration
  document_files
    "root.bib"
    "root.tex"
