chapter AFP

session Complex_Bounded_Operators = "HOL-Analysis" +
  options [timeout = 1800]
  sessions
    "HOL-Examples"
    "HOL-Types_To_Sets"
    Jordan_Normal_Form
    Banach_Steinhaus
    Real_Impl
    Wlog
  directories
    extra
  theories           
    Cblinfun_Code_Examples
  document_files
    root.tex
    root.bib
