Diffusion Isabelle 41393ecb57ac

uniform mask operation
41393ecb57ac
Actions

Tags

None

Subscribers

None

Description

uniform mask operation

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLEe4d42f5766dc: clearer separation of pre-word bit list material

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE41393ecb57ac: uniform mask operation.Aug 4 2020, 11:33 AM

Changes (5)

Path

Size

src/

HOL/

Library/

Bit_Operations.thy

Word/

ex/

rISABELLE41393ecb57ac

NEWS

Loading...

src/HOL/Library/Bit_Operations.thy

Loading...

src/HOL/Library/Z2.thy

Loading...

src/HOL/Word/Word.thy

Loading...

src/HOL/ex/Word.thy

Loading...