Summary
- more fixes for 16a8991ab398
The file was modified | thys/Catalan_Numbers/Catalan_Numbers.thy (diff) |
The file was modified | thys/Euler_MacLaurin/Euler_MacLaurin.thy (diff) |
The file was modified | thys/Ordinary_Differential_Equations/ODE_Auxiliarities.thy (diff) |