Differential_Dynamic_Logic.thy

section \<open>dL Formalization\<close>

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"
  "./Scratch"
  "./Interval_Arithmetic"

begin
end