chapter AFP

session "PropResPI"  = "HOL" +
  options [timeout = 300]
  theories
    Propositional_Resolution
    Prime_Implicates
  document_files
    "root.tex"
