Summary
- misc tuning and modernization;
- misc tuning and modernization;
- misc tuning and modernization;
- more standard name;
The file was modified | src/HOL/NthRoot.thy (diff) |
The file was modified | src/HOL/Transcendental.thy (diff) |
The file was modified | src/HOL/Binomial.thy (diff) |
The file was modified | src/HOL/Library/Continuum_Not_Denumerable.thy (diff) |
The file was modified | src/HOL/Library/Prefix_Order.thy (diff) |
The file was modified | src/HOL/Library/Preorder.thy (diff) |
The file was modified | src/HOL/Library/Quadratic_Discriminant.thy (diff) |
The file was modified | src/HOL/Library/Sublist_Order.thy (diff) |
The file was added | src/HOL/Library/Continuum_Not_Denumerable.thy |
The file was modified | src/HOL/Hahn_Banach/Bounds.thy (diff) |
The file was modified | src/HOL/Library/Library.thy (diff) |
The file was modified | src/HOL/Probability/Distribution_Functions.thy (diff) |
The file was modified | src/HOL/Probability/ex/Measure_Not_CCC.thy (diff) |
The file was removed | src/HOL/Library/ContNotDenum.thy |