chapter AFP

session First_Order_Rewriting = First_Order_Terms +
  description "First-Order Rewriting"
  options [timeout = 600]
  sessions
    Certification_Monads
    "Transitive-Closure"
  theories (*Preliminaries*)
    FOR_Preliminaries
    Option_Util
    SubList
  theories 
    Critical_Pairs
  theories
    Parallel_Rewriting
  theories
    Orthogonality
  theories
    Multistep
  theories
    Trs_Impl
  theories
    Rewrite_Relations_Impl
  document_files
    "root.tex"
    "root.bib"