Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. explicit type class operations for type-specific implementations
  2. obsolete
Changeset 73682:78044b2f001c by haftmann:
explicit type class operations for type-specific implementations
The file was modified NEWS
The file was modified src/HOL/Library/Bit_Operations.thy
The file was modified src/HOL/Library/Word.thy
The file was modified src/HOL/Library/Z2.thy
Changeset 73681:3708884bfa8a by haftmann:
obsolete
The file was modified NEWS

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

Summary

  1. explicit type class operations for type-specific implementations
  2. next step to phase out ancient numerals
Changeset 11783:a19043a5f828 by haftmann:
explicit type class operations for type-specific implementations
The file was modified thys/Collections/GenCF/Impl/Impl_Uv_Set.thy
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
Changeset 11782:a055a33fcb58 by haftmann:
next step to phase out ancient numerals
The file was modified thys/Planarity_Certificates/Planarity/Executable_Permutations.thy
The file was modified thys/Word_Lib/Word_Lib_Sumo.thy