Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. moved some lemmas from AFP to distribution
Changeset 72830:ec0d3a62bb3b by haftmann:
moved some lemmas from AFP to distribution
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/Power.thy

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

Summary

  1. moved some lemmas from AFP to distribution
Changeset 11463:af0298e0b819 by haftmann:
moved some lemmas from AFP to distribution
The file was modified thys/Word_Lib/Even_More_List.thy
The file was modified thys/Word_Lib/More_Arithmetic.thy
The file was modified thys/Word_Lib/More_Divides.thy
The file was modified thys/Word_Lib/More_Word.thy