chapter AFP

session Relational_Divisibility (AFP) = Stone_Relation_Algebras +

  options [timeout = 600]

  theories
    Relational_Constructions
    Relational_Divisibility
    Mono_Atomic

  document_files
    "root.tex"
    "root.bib"

