Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. Move code lemmas for symbolic computation of bit operations on int to distribution.
Changeset 75651:f4116b7a6679 by haftmann:
Move code lemmas for symbolic computation of bit operations on int to distribution.
The file was modified src/HOL/Bit_Operations.thy
The file was modified src/HOL/Library/Code_Abstract_Nat.thy
The file was modified src/HOL/Library/Code_Target_Int.thy

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

Summary

  1. Move code lemmas for symbolic computation of bit operations on int to distribution.
Changeset 12781:b48c96946723 by haftmann:
Move code lemmas for symbolic computation of bit operations on int to distribution.
The file was removedthys/Native_Word/Code_Symbolic_Int_Bit.thy