chapter AFP

session Incompleteness = HereditarilyFinite +
  description "The Incompleteness Theorems"
  options [timeout = 1200]
  sessions
    Nominal2
  theories
    Goedel_I
    Goedel_II
    Loebs_Theorem
  document_files
    "root.bib"
    "root.tex"
