Summary
- Ordinary_Differential_Equations: remove unnecessary reference to Convex
The file was modified | thys/Ordinary_Differential_Equations/Numerics/Runge_Kutta.thy (diff) |
The file was modified | thys/Ordinary_Differential_Equations/Numerics/Runge_Kutta.thy (diff) |