Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. further refinement of code equations for mask operation
Changeset 72083:3ec876181527 by haftmann:
further refinement of code equations for mask operation
The file was modified src/HOL/Library/Bit_Operations.thy
The file was modified src/HOL/Word/Word.thy

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

Summary

  1. further refinement of code equations for mask operation
Changeset 11203:cac1c67360f3 by haftmann:
further refinement of code equations for mask operation
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