Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. dedicated symbols for code generation, to pave way for generic conversions from and to word
  2. consolidated names
  3. reduced prominence od theory Bits_Int
Changeset 72130:9e5862223442 by haftmann:
dedicated symbols for code generation, to pave way for generic conversions from and to word
The file was modified src/HOL/Library/Bit_Operations.thy (diff)
The file was modified src/HOL/Word/More_Word.thy (diff)
The file was modified src/HOL/Word/Reversed_Bit_Lists.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
Changeset 72129:9e0321263eb3 by haftmann:
consolidated names
The file was modified src/HOL/ex/Word_Conversions.thy (diff)
Changeset 72128:3707cf7b370b by haftmann:
reduced prominence od theory Bits_Int
The file was modified src/HOL/Word/Bit_Comprehension.thy (diff)
The file was modified src/HOL/Word/More_Word.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)