Summary
- more theorems
- abstract and concrete multiplicative groups
- more correct comment
The file was modified | src/HOL/Complete_Lattices.thy (diff) |
The file was modified | src/HOL/Finite_Set.thy (diff) |
The file was modified | src/HOL/Fun.thy (diff) |
The file was modified | src/HOL/Hilbert_Choice.thy (diff) |
The file was modified | src/HOL/List.thy (diff) |
The file was modified | src/HOL/MacLaurin.thy (diff) |
The file was modified | src/HOL/Multivariate_Analysis/Brouwer_Fixpoint.thy (diff) |
The file was modified | src/HOL/Series.thy (diff) |
The file was modified | src/HOL/Set.thy (diff) |
The file was modified | src/HOL/Set_Interval.thy (diff) |
The file was modified | src/HOL/Transcendental.thy (diff) |
The file was modified | src/HOL/Groups.thy (diff) |
The file was modified | src/HOL/Binomial.thy (diff) |