chapter AFP

session Relation_Algebra = Kleene_Algebra +
  options [timeout = 600]
  theories
    More_Boolean_Algebra
    Relation_Algebra
    Relation_Algebra_Vectors
    Relation_Algebra_Tests
    Relation_Algebra_Functions
    Relation_Algebra_Direct_Products
    Relation_Algebra_RTC
    Relation_Algebra_Models
  document_files
    "root.bib"
    "root.tex"
