chapter AFP

session Eval_FO = Containers +
  options [timeout=600]
  theories
    Ailamazyan_Code
    Ailamazyan
    Cluster
    Eval_FO
    FO
    Mapping_Code
  document_files
    "root.tex"
    "root.bib"
  export_files (in ".") [2]
    "Eval_FO.Ailamazyan_Code:code/**"
