chapter AFP

session Kraus_Maps = Hilbert_Space_Tensor_Product +
  options [timeout = 600]
  sessions
    Ordinary_Differential_Equations
    With_Type
    Wlog
  theories
    Kraus_Maps
  document_files
    "root.tex"
    "root.bib"

