chapter AFP

session Q0_Completeness (AFP) = HOL +
  options [timeout = 600]
  sessions
    Abstract_Consistency_Property
    Q0_Metatheory
  theories
    Consistency_Property
    Constant_Substitution
    Derivational_Consistency
    Model_Existence
    Q0_Completeness
  document_files
    "root.tex"
    "root.bib"

