chapter AFP

session LinearQuantifierElim = "HOL-Library" +
  options [timeout = 600]
  directories
    "Thys"
  theories
    "Thys/QEdlo"
    "Thys/QEdlo_ex"
    "Thys/QEdlo_fr"
    "Thys/QEdlo_inf"
    "Thys/QElin_opt"
    "Thys/FRE"
    "Thys/QElin_inf"
    "Thys/QEpres"
    "Thys/Cooper"
  theories [document = false]
    "Thys/CertDlo"
    "Thys/CertLin"
  document_files
    "root.bib"
    "root.tex"