chapter AFP

session Planarity_Certificates = Simpl +
  options [timeout = 600]
  sessions
    "HOL-Combinatorics"
    "HOL-Eisbach"
    "List-Index"
    "Transitive-Closure"
    Case_Labeling
    Graph_Theory
  directories
    "l4v/lib"
    "l4v/lib/wp"
    "Planarity"
    "Verification"
  theories [document = false]
    "l4v/lib/OptionMonadWP"
  theories
    Planarity_Certificates
  document_files
    "root.tex"
    "root.bib"
