chapter AFP

session Twelvefold_Way = Bell_Numbers_Spivey +
  options [timeout = 300]
  sessions
    "HOL-ex"
    "HOL-Eisbach"
    "HOL-Combinatorics"
    Card_Multisets
    Card_Number_Partitions
  theories
    Twelvefold_Way
  document_files
    "root.bib"
    "root.tex"
