Summary
- generalized signed_take_bit
- more on conversions
- generalized
The file was modified | src/HOL/Library/Bit_Operations.thy (diff) |
The file was modified | src/HOL/Word/Ancient_Numeral.thy (diff) |
The file was modified | src/HOL/Word/Bits_Int.thy (diff) |
The file was modified | src/HOL/Word/Conversions.thy (diff) |
The file was modified | src/HOL/Word/Word.thy (diff) |
The file was modified | src/HOL/Word/Conversions.thy (diff) |
The file was modified | src/HOL/Library/Bit_Operations.thy (diff) |
The file was modified | src/HOL/Parity.thy (diff) |
The file was modified | src/HOL/Word/Word.thy (diff) |