Summary
- reorg
- added lemma
- Merged
- HOL-Library: going_to filter
- more on the dreadful monotone_convergence_interval
The file was added | src/HOL/Data_Structures/Base_FDS.thy |
The file was modified | src/HOL/Data_Structures/Binomial_Heap.thy (diff) |
The file was modified | src/HOL/Data_Structures/Leftist_Heap.thy (diff) |
The file was modified | src/HOL/Set_Interval.thy (diff) |
The file was added | src/HOL/Library/Going_To_Filter.thy |
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Library/Library.thy (diff) |
The file was modified | src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff) |