chapter AFP

session Cook_Levin = "HOL-Analysis" +
  options [timeout = 4800]
  sessions
    "HOL-Eisbach"
  theories
    Basics
    Combinations
    Elementary
    Memorizing
    Composing
    Arithmetic
    Lists_Lists
    Two_Four_Symbols
    Symbol_Ops
    Wellformed
    NP
    Satisfiability
    Oblivious
    Oblivious_Polynomial
    Oblivious_2_Tape
    Reducing
    Aux_TM_Reducing
    Sat_TM_CNF
    Reduction_TM
  document_files
    "root.tex"
    "root.bib"