Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. moved lemma to more appropriate place
  2. algebraic embeddings for bit operations
Changeset 68011:fb6469cdf094 by haftmann:
moved lemma to more appropriate place
The file was modified src/HOL/Library/Cardinality.thy (diff)
The file was modified src/HOL/Option.thy (diff)
Changeset 68010:3f223b9a0066 by haftmann:
algebraic embeddings for bit operations
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/HOL/Parity.thy (diff)