chapter AFP

session Aggregation_Algebras = Stone_Kleene_Relation_Algebras +
  options [timeout = 600]
  theories
    Semigroups_Big
    Aggregation_Algebras
    Matrix_Aggregation_Algebras
    Linear_Aggregation_Algebras
    M_Choose_Component
  document_files
    "root.tex"
    "root.bib"
