chapter AFP

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