bit operations as distinctive library theory
a4bffc0de967
Actions

Description

bit operations as distinctive library theory

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (10)

Path

Size

rISABELLEa4bffc0de967

CONTRIBUTORS

NEWS

src/HOL/Library/Bit_Operations.thy

src/HOL/Library/Library.thy

src/HOL/ex/Bit_Operations.thy

bit operations as distinctive library theorya4bffc0de967Actions

Description

Details

Changes (10)

rISABELLEa4bffc0de967

CONTRIBUTORS

NEWS

src/HOL/Library/Bit_Operations.thy

src/HOL/Library/Library.thy

src/HOL/ex/Bit_Operations.thy

src/HOL/ex/Word.thy

bit operations as distinctive library theory
a4bffc0de967
Actions