Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. uniform mask operation
  2. clearer separation of pre-word bit list material
Changeset 72082:41393ecb57ac by haftmann:
uniform mask operation
The file was modified NEWS
The file was modified src/HOL/Library/Bit_Operations.thy
The file was modified src/HOL/Library/Z2.thy
The file was modified src/HOL/Word/Word.thy
The file was modified src/HOL/ex/Word.thy
Changeset 72081:e4d42f5766dc by haftmann:
clearer separation of pre-word bit list material
The file was modified src/HOL/Word/Bit_Comprehension.thy
The file was modified src/HOL/Word/Bit_Lists.thy
The file was modified src/HOL/Word/Bits_Int.thy

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. uniform mask operation
  2. clearer separation of pre-word bit list material
Changeset 11202:f28d68deefa8 by haftmann:
uniform mask operation
The file was modified thys/IP_Addresses/NumberWang_IPv6.thy
The file was modified thys/Native_Word/Code_Target_Word_Base.thy
The file was modified thys/Native_Word/Native_Cast.thy
The file was modified thys/Native_Word/Uint.thy
The file was modified thys/Native_Word/Uint16.thy
The file was modified thys/Native_Word/Uint32.thy
The file was modified thys/Native_Word/Uint64.thy
The file was modified thys/Native_Word/Uint8.thy
The file was modified thys/Word_Lib/Aligned.thy
The file was modified thys/Word_Lib/Word_EqI.thy
The file was modified thys/Word_Lib/Word_Lemmas.thy
The file was modified thys/Word_Lib/Word_Lemmas_32.thy
The file was modified thys/Word_Lib/Word_Lemmas_64.thy
The file was modified thys/Word_Lib/Word_Lib.thy
Changeset 11201:52ddcd32c0c9 by haftmann:
clearer separation of pre-word bit list material
The file was modified thys/Native_Word/More_Bits_Int.thy