Summary
- fixed some uses of MVT, etc.
The file was modified | thys/Ordinary_Differential_Equations/IVP/Poincare_Map.thy (diff) |
The file was modified | thys/Ordinary_Differential_Equations/Library/MVT_Ex.thy (diff) |
The file was modified | thys/Ordinary_Differential_Equations/ODE_Auxiliarities.thy (diff) |