Summary
- More lemmas.
- Some more proofs.
- a few new theorems
The file was modified | src/HOL/ex/Word_Lsb_Msb.thy (diff) |
The file was modified | src/HOL/ex/Word_Lsb_Msb.thy (diff) |
The file was modified | src/HOL/Analysis/Infinite_Products.thy (diff) |
The file was modified | src/HOL/Library/Infinite_Set.thy (diff) |