chapter AFP

session "Myhill-Nerode" = "HOL-Library" +
  options [timeout = 600]
  sessions
    "Abstract-Rewriting"
    "Regular-Sets"
    Open_Induction
    Well_Quasi_Orders
  theories
    Closures2
    Non_Regular_Languages
  document_files
    "root.bib"
    "root.tex"
