Summary
- merged
- some new and/or varient results about images
- nicer statement of Liouville_theorem
- more lemmas
- max word moved to Word_Lib in AFP
The file was modified | src/HOL/Analysis/Elementary_Normed_Spaces.thy (diff) |
The file was modified | src/HOL/Complex_Analysis/Cauchy_Integral_Formula.thy (diff) |
The file was modified | src/HOL/Library/Bit_Operations.thy (diff) |
The file was modified | src/HOL/Library/Word.thy (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Library/Word.thy (diff) |