chapter AFP

session "Types_Tableaus_and_Goedels_God" = "HOL" +
  options [timeout = 300]
  theories [document = false]
    Relations
  theories
    IHOML
    IHOML_Examples
    GoedelProof_P1
    GoedelProof_P2
    FittingProof
    AndersonProof
  document_files
    "root.tex"
    "root.bib"
