chapter AFP

session Refine_Monadic = Automatic_Refinement +
  options [timeout = 1200]
  directories
    "Generic"
    "examples"
  theories
    Refine_Monadic
    "examples/Examples"
  document_files
    "root.bib"
    "root.tex"
