chapter AFP

session "Differential_Dynamic_Logic" = "Ordinary_Differential_Equations" +
  options [timeout = 1200]
  theories 
    Axioms
    Bound_Effect
    Coincidence
    Denotational_Semantics
    Differential_Axioms
    Differential_Dynamic_Logic
    Frechet_Correctness
    Ids
    Lib
    Pretty_Printer
    Proof_Checker
    Static_Semantics
    Syntax
    Uniform_Renaming
    USubst
    USubst_Lemma
  document_files
    "root.tex"
    "root.bib"
