chapter AFP

session Prop_Compactness = HOL +
  options [timeout = 300]

  sessions
    "HOL-Library"
    "Marriage"

  theories
    "Hall_Theorem_Graphs"  
    "Hall_Theorem"
    "k_coloring"
    "KoenigLemma"
    "PropCompactness"
    "ModelExistence"

  document_files
    "root.tex"
    "root.bib"
