Summary
- merged
- cleanup and de-applying
- eliminate add_mset
The file was modified | src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff) |
The file was modified | src/HOL/Analysis/Improper_Integral.thy (diff) |
The file was modified | src/HOL/Analysis/Tagged_Division.thy (diff) |
The file was modified | src/HOL/Data_Structures/Sorting.thy (diff) |