chapter AFP

session Wetzels_Problem = "HOL-Complex_Analysis" +
  options [timeout = 300]
  sessions 
  	ZFC_in_HOL
  theories
    Wetzels_Problem
  document_files
    "root.tex"
    "root.bib"

