Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. rule concerning bit (push_bit ...)
  2. more lemmas
Changeset 71424:e83fe2c31088 by haftmann:
rule concerning bit (push_bit ...)
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/ex/Bit_Operations.thy (diff)
The file was modified src/HOL/ex/Word.thy (diff)
Changeset 71423:7ae4dcf332ae by haftmann:
more lemmas
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/ex/Bit_Lists.thy (diff)