chapter AFP

session First_Order_Terms = "Abstract-Rewriting" +
  description "First-Order Terms"
  options [timeout = 300]
  sessions
    "HOL-Library"
    Certification_Monads
    Polynomial_Factorization
    Show
    Fresh_Identifiers
  theories
    Transitive_Closure_More
  theories
    Renaming2_String
  theories
    Seq_More
    Fun_More2
    Option_Monad
  theories
    Matching
    Subterm_and_Context
    Unification_String
    Subsumption
  theories 
    Position
    Term_More
    Term_Impl
    Unification_More
  document_files
    "root.tex"
    "root.bib"