chapter AFP

session Goedel_HFSet_Semantic = Goedel_Incompleteness +
  description \<open>Reproduction of Paulson's Formalization of Incompleteness Theorems\<close>
  options [timeout = 2400]
  sessions
    Incompleteness
  theories
    Instance
  document_files
    "root.tex"
