Summary
- merged
- fixes for d3d508b23d1d (mostly about inverse image)
The file was modified | thys/Coinductive/Examples/LList_CCPO_Topology.thy (diff) |
The file was modified | thys/Ordinary_Differential_Equations/IVP/Initial_Value_Problem.thy (diff) |
The file was modified | thys/Ordinary_Differential_Equations/IVP/Poincare_Map.thy (diff) |