chapter AFP

session "Quantales_Converse" = HOL +
  options [timeout = 1200]
  sessions
    Kleene_Algebra
    KAD
    Quantales
  theories
    Modal_Kleene_Algebra_Var
    Kleene_Algebra_Converse
    Modal_Kleene_Algebra_Converse
    Modal_Quantale
    Quantale_Converse
  document_files
   "root.tex"
   "root.bib"
