Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. tailored towards remaining essence
Changeset 72102:0b21b2beadb5 by haftmann:
tailored towards remaining essence
The file was addedsrc/HOL/ex/Word_Conversions.thy
The file was modified src/HOL/ROOT
The file was modified src/HOL/Word/Word.thy
The file was modified src/HOL/ex/Bit_Lists.thy
The file was removedsrc/HOL/ex/Word.thy

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

Summary

  1. dropped alias
Changeset 11205:116a82414c28 by haftmann:
dropped alias
The file was modified thys/Native_Word/Code_Target_Word_Base.thy
The file was modified thys/Native_Word/More_Bits_Int.thy