chapter AFP

session Stream_Fusion_Code = Coinductive +
  description "Stream Fusion in HOL with Code Generation"
  options [timeout = 1200]
  theories
    Stream_Fusion_Examples
  document_files
    "root.tex"
    "root.bib"
