Summary
- Adapted to isabelle 590c1a53c78d
The file was modified | thys/Bernoulli/Bernoulli_FPS.thy (diff) |
The file was modified | thys/Euler_MacLaurin/Euler_MacLaurin.thy (diff) |
The file was modified | thys/Quick_Sort_Cost/Quick_Sort_Average_Case.thy (diff) |
The file was modified | thys/Quick_Sort_Cost/Randomised_Quick_Sort.thy (diff) |