chapter AFP

session Bell_Numbers_Spivey = Card_Partitions +
  options [timeout = 600]
  theories
    Card_Partitions.Card_Partitions   (* FIXME document? *)
    Bell_Numbers
  document_files
    "root.bib"
    "root.tex"
