Summary
- removed unnecessary theorems (proofs fail) (adaption to Isabelle 44ce6b524ff3)
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) |