chapter AFP

session "Kleene_Algebra" = HOL +
  options [timeout = 600]
  sessions
    "HOL-Library"
  theories
    Signatures
    Dioid
    Dioid_Models
    Matrix
    Conway
    Kleene_Algebra
    Kleene_Algebra_Models
    Omega_Algebra
    Omega_Algebra_Models
    DRA
    PHL_KA
    PHL_DRA
    Finite_Suprema
    Formal_Power_Series
    Inf_Matrix
  document_files
    "root.bib"
    "root.tex"