Summary
- merged
- new material on matrices, etc., and consolidating duplicate results about of_nat
The file was modified | src/HOL/Analysis/Ball_Volume.thy (diff) |
The file was modified | src/HOL/Analysis/Cartesian_Euclidean_Space.thy (diff) |
The file was modified | src/HOL/Analysis/Great_Picard.thy (diff) |
The file was modified | src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff) |
The file was modified | src/HOL/HOL.thy (diff) |
The file was modified | src/HOL/Library/Extended_Nonnegative_Real.thy (diff) |