chapter AFP

session Relational_Disjoint_Set_Forests = Aggregation_Algebras +
  options [timeout = 600]
  sessions
    "HOL-Hoare"
  theories
    Disjoint_Set_Forests
    More_Disjoint_Set_Forests
    Matrix_Peano_Algebras
  document_files
    "root.tex"
    "root.bib"
