Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. more consequent transferability
Changeset 72079:8c355e2dd7db by haftmann:
more consequent transferability
The file was modified NEWS
The file was modified src/HOL/Library/Bit_Operations.thy
The file was modified src/HOL/Parity.thy
The file was modified src/HOL/Word/Bit_Lists.thy
The file was modified src/HOL/Word/Misc_lsb.thy
The file was modified src/HOL/Word/More_Word.thy
The file was modified src/HOL/Word/Word.thy
The file was modified src/HOL/Word/Word_Examples.thy
The file was modified src/HOL/ex/Word.thy

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

Summary

  1. more consequent transferability
Changeset 11199:ef3c8932106a by haftmann:
more consequent transferability
The file was modified thys/IEEE_Floating_Point/Conversion_IEEE_Float.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/IPv6.thy
The file was modified thys/IP_Addresses/NumberWang_IPv6.thy
The file was modified thys/IP_Addresses/Prefix_Match.thy
The file was modified thys/Interval_Arithmetic_Word32/Interpreter.thy
The file was modified thys/Interval_Arithmetic_Word32/Interval_Word32.thy
The file was modified thys/Iptables_Semantics/Examples/Synology_Diskstation_DS414/Analyze_Synology_Diskstation.thy
The file was modified thys/JinjaThreads/BV/BVSpecTypeSafe.thy
The file was modified thys/JinjaThreads/J/Deadlocked.thy
The file was modified thys/JinjaThreads/J/TypeSafe.thy
The file was modified thys/JinjaThreads/MM/DRF_J.thy
The file was modified thys/JinjaThreads/MM/DRF_JVM.thy
The file was modified thys/LOFT/OpenFlow_Documentation.thy
The file was modified thys/Native_Word/Code_Target_Word_Base.thy
The file was modified thys/Native_Word/Uint_Userguide.thy
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_Properties.thy
The file was modified thys/Word_Lib/Aligned.thy
The file was modified thys/Word_Lib/Bitwise.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