Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. bit operations form an boolean algebra
  2. bit operations for word type
Changeset 70926:b4564de51fa7 by haftmann:
bit operations form an boolean algebra
The file was modified src/HOL/ex/Bit_Lists.thy (diff)
Changeset 70925:525853e4ec80 by haftmann:
bit operations for word type
The file was modified src/HOL/ex/Word_Type.thy (diff)