Theory Differential_Dynamic_Logic

section ‹dL Formalization›

theory "Differential_Dynamic_Logic" 
imports
  Complex_Main
  Ordinary_Differential_Equations.ODE_Analysis
  "Ids"
  "Lib"
  "Syntax"
  "Denotational_Semantics"
  "Frechet_Correctness"
  "Static_Semantics"
  "Coincidence"
  "Bound_Effect"
  "Axioms"
  "Differential_Axioms"
  "USubst"
  "USubst_Lemma" 
  "Uniform_Renaming"
  "Proof_Checker"
begin
end