Summary
- Renamings (consistent with e5b84854baa4)
The file was modified | thys/Euler_MacLaurin/Euler_MacLaurin.thy (diff) |
The file was modified | thys/Ordinary_Differential_Equations/Numerics/Refine_Reachability_Analysis.thy (diff) |
The file was modified | thys/Ordinary_Differential_Equations/Numerics/Runge_Kutta.thy (diff) |
The file was modified | thys/Ordinary_Differential_Equations/ODE_Auxiliarities.thy (diff) |