chapter AFP

session "Sauer_Shelah_Lemma" = HOL +
  options [timeout = 600]

  theories
    Sauer_Shelah_Lemma
    Shattering
    Card_Lemmas
    Binomial_Lemmas

  document_files
    "root.tex"
    "root.bib"
