Summary
- adapted to isabelle/f435640193b6
The file was modified | thys/Lp/Functional_Spaces.thy (diff) |
The file was modified | thys/Ordinary_Differential_Equations/IVP/Initial_Value_Problem.thy (diff) |
The file was modified | thys/Ordinary_Differential_Equations/ODE_Auxiliarities.thy (diff) |