chapter AFP

session Tycon = HOLCF +
  options [timeout = 600]
  theories
    Lazy_List_Monad
    Maybe_Monad
    Error_Monad
    Writer_Monad
    Binary_Tree_Monad
    Lift_Monad
    Resumption_Transformer
    State_Transformer
    Error_Transformer
    Writer_Transformer
    Monad_Transformer
  document_files
    "root.bib"
    "root.tex"
