chapter AFP

session Rewriting_Z = Nominal2 +
  options [timeout = 600]
  sessions
    "HOL-Eisbach"
    "Abstract-Rewriting"
  theories
    Z
    Lambda_Z
    CL_Z
  document_files
    "root.tex"
    "root.bib"
