Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. separation of reversed bit lists from other material
Changeset 72088:a36db1c8238e by haftmann:
separation of reversed bit lists from other material
The file was addedsrc/HOL/Word/Reversed_Bit_Lists.thy
The file was modified NEWS
The file was modified src/HOL/Word/Bits_Int.thy
The file was modified src/HOL/Word/Misc_lsb.thy
The file was modified src/HOL/Word/Misc_msb.thy
The file was modified src/HOL/Word/More_Word.thy
The file was modified src/HOL/Word/Word.thy
The file was removedsrc/HOL/Word/Bit_Lists.thy

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

Summary

  1. separation of reversed bit lists from other material
Changeset 11204:3e79743d7844 by haftmann:
separation of reversed bit lists from other material
The file was modified thys/CakeML/generated/Lem.thy
The file was modified thys/IP_Addresses/IP_Address.thy
The file was modified thys/IP_Addresses/IPv4.thy
The file was modified thys/IP_Addresses/NumberWang_IPv6.thy
The file was modified thys/Iptables_Semantics/Common/Word_Upto.thy
The file was modified thys/Native_Word/Code_Target_Word_Base.thy
The file was modified thys/Word_Lib/Word_Lemmas.thy