chapter AFP

(* Every theory must be included in at least one of the sessions.
*)

(* Session name, add to AFP group, list base session: *)
session Graph_Saturation = "HOL-Library" +
  options [timeout = 600]
  theories [document = false]
    MissingRelation
  theories
    CombinedCorrectness
(* Dependencies on document source files: *)
  document_files
    "root.bib"
    "root.tex"
