chapter AFP

session "Abstract-Rewriting" =  "Regular-Sets" +
  options [timeout = 600]
  theories
    Seq
    Abstract_Rewriting
    Abstract_Rewriting_Impl
    Relative_Rewriting
    Relation_Closure
    SN_Orders
    SN_Order_Carrier
  document_files
    "root.bib"
    "root.tex"
