chapter AFP

session "Hybrid_Systems_VCs" = "HOL-Analysis" +
  options [timeout = 1500]
  sessions
    Ordinary_Differential_Equations
    Transformer_Semantics
    KAD
    KAT_and_DRA
  directories
    "PredicateTransformers"
    "ModalKleeneAlgebra"
    "KleeneAlgebraTests"
  theories
    "HS_VC_Examples"
    "HS_VC_PT_Examples"
    "HS_VC_MKA_Examples_rel"
    "HS_VC_MKA_Examples_ndfun"
    "HS_VC_KAT_Examples_rel"
    "HS_VC_KAT_Examples_ndfun"
  document_files
    "root.bib"
    "root.tex"