chapter AFP

session Subset_Boolean_Algebras = Stone_Algebras +

  options [timeout = 600]

  theories
    Subset_Boolean_Algebras

  document_files
    "root.tex"
    "root.bib"

