Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. simplified logical constructions
  2. simplified logical constructions
Changeset 71420:572ab9e64e18 by haftmann:
simplified logical constructions
The file was modified src/HOL/Library/More_List.thy (diff)
The file was modified src/HOL/ex/Bit_Lists.thy (diff)
The file was modified src/HOL/ex/Bit_Operations.thy (diff)
Changeset 71419:1d8e914e04d6 by haftmann:
simplified logical constructions
The file was modified src/HOL/ex/Bit_Operations.thy (diff)