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