chapter AFP

session Goodstein_Lambda = HOL +

options [timeout = 300]

  theories
    Goodstein_Lambda

  document_files
    "root.bib"
    "root.tex"
